This is the import / export phase.  This process is accomplished as follows:

a) Local definitions are created in each module.  These are entered into the
   local symbol table.
b) Imports to non-local modules are completely resolved.
c) Local import/export is performed via a fixpoint:
    1) Export: definitions added in the previous round are filtered by the
       export list and placed in a fresh export list.
    2) Each module imports from the fresh export list of the other modules.
       Any import not already present is placed on a new fresh export list.
   When no fresh exports are generated, the iteration is complete.
d) Missing exports and imports are checked for.