Stable type conversions generator for OCaml
