feature request: #REQUIRE module alias

[Frédéric Blanqui]

With big files containing millions of identifiers, module prefixes can take a lot of disk space. An easy way to reduce this is to use module aliases, that is, to allow writing #REQUIRE long_module_name M to be able to write M.identifier instead of long_module_name.identifier. It should be easy to implement.