Resolved scoping conundrums by passing around env-term pairs everywhere.
Replaced StrMap#plus( other ) and StrMap#plusObj( other ) with StrMap#plusEntry( k, v ).
Simplified isType() and typeCheck() with local utilities eget() and tget().