Now that we have dune-package, we can describe installed libraries more precisely and use more than 1 directory for cmi's. We could use this functionality to install private modules. This is useful for two purposes:

• Sometimes we need to depend on private cmi's transitively. When implementing virtual libraries that have private modules for example.

• We would like private modules to be accessible via the toplevel using some sort of "unsafe" or internal invocation.