[ocaml] refactor - move FlatStore to sfdomain; rename TypeTable->typevalue; move typevalue to sftype