First working version of replacement of broken unit tests.
More tests added to new typecheck units tests.
Move unit tests over to new framework.
Almost all the tests are passing in the new framework.
Enable previously broken tests.
Added missing #%expression.
Add real test for check-type and remove unit tests.
Add missing test.
Replace old test runner with new test runner.
Remove #%expression in plambda.
Remove extraneous old feature of do-inst.
Make inst not do crazy splitting.
Change tc-exprs to tc-body.
Make inst mark the #%expression.
Make for: not allow multiple annotations.
Move from type-ascription-property to add-ann.
Remove check for type-ascription property.
Add #%expression around annotations.
Cleanup type-ascription.
Remove obsolete special casing for ann and inst.