infrastructure for parse testing, and add new node for importing types
intermediate state
fix silly issues setting up new bootstrap for type namespace import
merge ast fix from spinnaker
intermediate merge, a wizard would squahs this
Merge branch 'new-world' into ann-check
initial unbound checking and annotations just for ids
contracts file
someinitial tests for types
basic aliases and type bindings
add contracts as a pyret test file
RawArray
simple refinements
contracts for records
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
still-broken resolving scope, and two tests for it
forgot to mark s-type and s-newtype as not ok-last statements
test methods, fix stupid arity problem
Merge branch 'ann-check' of github.com:brownplt/pyret-lang into ann-check