Runtime types for OCaml
