Runtime types for OCaml (beta version)