Add function composition example problem for DHOL hammer

scala/latin2/tptp/DHOLExporter.scala

.../casestudies/2023-cade/MMT prover output/$Cat$Extended.ax

source/casestudies/2023-cade/MMT prover output/$Cat.ax

source/casestudies/2023-cade/MMT prover output/$Cat.p

...e/casestudies/2023-cade/MMT prover output/$Cat.proof.tptp

...sestudies/2023-cade/MMT prover output/$Function$Example.p

.../2023-cade/MMT prover output/$Function$Example.proof.tptp

...studies/2023-cade/MMT prover output/$Predicate$Example.ax

...estudies/2023-cade/MMT prover output/$Predicate$Example.p

source/casestudies/2023-cade/MMT_example_problems/cat.mmt

.../casestudies/2023-cade/MMT_example_problems/functions.mmt

...studies/2023-cade/MMT_example_problems/predicate_exam.mmt

source/casestudies/2023-cade/test-mmt-based-prover.msl