Get unnamed and named terms working with new env

Also separate 2set into separate typed module.
Add unnamed repeat support
Add vararg map/e and fix cons/e bug
Implement 1-level named repeats with named patterns inside.
Implement nested named repeats, remove mismatch name tests for now
Add redex dependency on typed racket
Remove dead code and reorganize a little
Use in-set now that it's typed