Module resolver 

Functions

resolve_program

Run the resolver on all top-level function definitions, then annotate last-use information on all Resolved nodes.