We need a naming convention for the core modules and standard libraries of the new module system.
This is largely orthogonal to the exact details of the module system, and so is presented as a separate ticket from ticket #2.
Okay. The 11 modules are:
There's another module: