Progress towards loading modules:

  1. Environment starting to look ok
  2. Add definitions for language built-in types
Qualify built-in definitions