Removed errant comment.
Added conditional unit test
Added failing conditional test.
Tweaked parser to agree with language spec: record type elements are separated by commas, not semicolons.
Added unit test for options.
Partial work on Annotation rule.
Manual merge.
Added unit test which fails due to parse precedence.
First draft of annotation type inference.  One passing unit test for annotations; none for collection construction.
Added logging and corrected closure errors.
Added some more unit tests.
Fix freeVariables when descending into binding introductions.
Fixing merge conflict w/ master