OCaml backend for datatypes.