Major update in prelude.ts

  - checks with tsc
  - TODO: check with RefScript
Untabify prelude
Adding module examples.
COMPILING BUT STILL BUGGY...

  - Using newer prelude.ts version

  - prelude is fed to tsc instead of straight to rsc

  - adding support for modules (NOT DONE)

  - fixing scoping issues (NOT DONE)
Resolving namespaces ...

  - Propagated changes up to TCMonad.hs

  - TODO: Typecheck.hs and liquid ...
WORK IN PROGRESS in Typecheck.hs

  - Added environment initializers.
Merge branch 'develop' into modules

Conflicts:
	src/Language/Nano/Liquid/Types.hs
	src/Language/Nano/SSA/SSA.hs
	src/Nano.hs
NOT COMPILING FULLY

  - NEED TO TEST SSA.
Fixing var search using syb.

  - use manual unfolding of the query instead of extQ
Adding scoping examples.
STILL NOT DONE

  - First pass on SSA
Restructuring the typechecking environment.

  - Find all expoted classes and modules first.
DOESN'T COMPILE FULLY - Restructuring code.

  - Moving most definitions to the top-level of the /src folder
Cleaning up ...
Relative/Absolute paths - redid resolve, envs
Fix in SSA

  - new e(es) SSAs both e and es
scope-06.ts passes through TC
Adding class definitions to variables in scope.
Various fixes with mutability
Cleaning up TCMonad