This sounds invasive. Will it be possible to mix old/new compilers? (Because we support a large variety of platforms, some quite old, we cannot just upgrade everyone's OCaml compiler to the latest version all at once).
Plus I've never found systems like Java where module names follow directory structures to be very pleasant.