[ocaml] merge sfdomainhelper to sfdomain
[ocaml] create interface (.mli) for sfsyntax & sfvaluation