[ocaml] refactor type _constraint (remove ambiguities)
[ocaml] rename FD_PREPROCESSOR -> FD_PREPROCESS
[ocaml] implement compilation function of simple global implication (Eq => Eq)