Implement new module specifier semantics.
Update the modules documentation to reflect the new semantics.