OMakefile properly rebuilding *ocaml_embedded.o
~logic-style transformations in axioms