add constraint on type_conv on ocamlfind