Eliminate existential types in exported OCaml code.