merged

tuned generation of TPTP with $ite/$let in higher-order logics

tuned generation of TPTP with $ite in function position

tuned TPTP generation of If helper facts

merged

clarified signature: prefer static operations;

clarified signature: avoid potential misunderstanding of Resources.empty as proper Resources;

more robust;

tuned signature;

clarified signature: more explicit class Entity_Context with private state + operations;