fix bug in menu label construction

closes PR 13817
auto-force attributes in syntax templates
fix bad syntax error, closes PR 13812
added 2d check for #:with right-hand side
make syntax/parse/experimental/template work with lazy stx attrs
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.
Remove old test runner.
Rename new test framework.
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.