modern type_conv requires ocaml 4+

modern type_conv requires ocaml 4+