with-words and frobo - convenience
Back to nominal logic
Removed some old TODO items
Bugfix: Now using a fresh NOM in lexo-extend
Added termwalk
rt-in-sigo refactored and fixed using termwalk
Testing lexicons now!
Cleaning up the env code in the type checker
Beta-reduction, check.
Encoding strings as lambda-terms, encode relation
Intrans verbs, checking and fixes in toy grammars