Annotations to first-class modules for OCaml 3.12

OCaml 3.12 does not support inference of the type of first-class
modules.