[ocaml] fix bugs -- inherit schema attributes to object
[ocaml] remove debugging codes; add comments
[ocaml] combine typetable of init & goal spec