mostly-working plumbing to turn type-let and newtype statements into type-let-exprs, and fixing/refactoring well-formedness checking to ensure that data and type bindings are only present at the toplevel of a module
Merge branch 'ann-check' of github.com:brownplt/pyret-lang into ann-check