Understanding modules

Each compiler run, by default, is a separate module: all the binary dependencies will be treated as being not in the module being compiled at the moment.