Compilation of vars and assignments (untested).  Module instantiation.  Module variable referencing.