Really fix the description of submodules in OCaml.modules
More progress to get the Ctype stubs working

Not yet there, but closer ...