[ocaml-gen] rename macros and revert multi-declaration of custom types#195

mimoo merged 4 commits intomastero1-labs/proof-systems:masterfrom

mimoo/ocaml_custom2o1-labs/proof-systems:mimoo/ocaml_custom2Copy head branch name to clipboard