Support for first class module types.
Fix: List types no longer allow missing types
Fix: List types no longer allow missing types
Added let syntax to set small amounts of local state
Rewrote bits of prelude to use let syntax
Added a continuation indicator for when typing expressions over many lines in the REPL