TODO.txt

(0) Grep TODO and see if there is anything obvious that can be added to
the issue tracker.

(1) Annotate test suite: (DONE)
  - Waterfall / snapshot tests need more anotation that will be given after
  adjusting the type system (2).  

(2) Fix subtyping to work with the current set of tests (DONE)
  - Leave the wildcard escape in
  - Handle lower bound / upper bound etc

(3) Redo the runtime
  - Ugly OO code; just rewrite.

(4) Rewrite syntax to match up with paper. This includes..
  (1) Mindless syntax changes (?mode, snapshot)
  (2) Removing @mode<X> as a ModeValue, and instead looking up
  via an identifier etc.

(5) Pull the polyglot test suite into the ent test suite.
  (1) JL Tests
  (2) JL5 Tests
  (3) JL7 Tests

(6) See if we can fix the JL7 issue I was running into a while back. 
It has to do with the AST rewriting. We may need to extend polyglot
a little bit here.

(7) 1-6 gets us fairly stable, begin checking off issue tracker.

(8) Fix mcase java array implementation
  - Java arrays cannot be used to represent parameterized types (currently get a
  compiler generation error). If we want to allow something like

  mcase<List<String>> {
    low: new ArrayList<String>();
    mid: new ArrayList<String>();
    high: new ArrayList<String>();
  }

  We need a different runtime representation