* Expansion now proceeds correctly on all examples, although reduction does not * Drastically reorganized how wrapper work. * Added/remove TODOs
* sigma, gamma extended at expand time * All type-checking happens at expand time * Locally expand all forms into core redex forms. However, this seems to be causing problems. Probably not controlling expansion just right.
* Now data gets properly defined! * Export begin from redex-core. * Added nat, needed by pltools.
