OCaml backend: support for polymorphic vals.