PARTIALLY COMPILES

  - About to test parser
Fixes in parsing. Still not compiling beyond parser.
Restored Lookup
Got Typecheck to typecheck, but still some TODOS.
Merge branch 'heapless_classes_refactor' of github.com:UCSD-PL/nano-js into heapless_classes_refactor
Typecheck seems to work for trivial class example

  - class definition

  - initializer
Various fixes in TC

  - Also added some examples.
Fix in TDefEnv-add and clean SubDirection
Moving compareTs in the TC monad.
Removing Compare.hs

  - Its functionality was moved to Types and TCMonad
Fixing object subtyping.

  - Making the convert (former compare) function more restrictive.

  - No deadcasts are added for incompatible types - just fail.
Adding point examples.