Add Comorphism from CASL to TPTP (#1731) * adapted SuleCFOL2SoftFOL to SuleCFOL2TPTP * SuleCFOL2TPTP: made it compile * removed superfluous stuff from comorphism * description of comorphism * Add implementation notes. * Add first functions structure, implement subsort encoding. * Implement remainder of sort axioms and function axioms. * Work in progress: prepare sign. * Handle overloading of ops and preds. * Resolve conditionals and translate formulae. * Rename variables (must start uppercase). * Remove translation clutter. * Rename target logic. * Create translated Sign. * Fix resolving unique existential quantifier. * Fix resolving Conditional TERMs. * Lots of small fixes. * More small fixes. * Work in progress: Recognise conjectures. * Work in progress: Recognise conjectures #2. * Ensure that the tempdir exists. * Fix sentence name translation. * Work on TODOs. * Fix subsort sentences. * CASL test file for comorphisms * more CASL tests * Replace own code be CASL.Utils code. * more CASL tests * more CASL tests * corrected sublogic * Nat example * Replace all non-alphanumeric characters. * Move Morphism to Morphism.hs and rename TPTP.Logic to TPTP.Logic_TPTP. * Remove now useless comments. * use scoped type variables * Remove sentence prefix. * Add helper functions for 'and' and 'or'. * Translate false to false. * Fail with the module name in the message. * Add reference to Hets issue. * Translate space to underscore. * Fix partial overloading translation. * Get rid of compiler warnings. * Simplify language_name. * Fix error message. * Simplify GenSuleCFOL2TPTP data structure.