[ocaml] remove debugging codes; update error messages
[ocaml] tidy-up codes
[ocaml] add patch to enable "any" value