Removed lots of useless complexity in walkers
Added tokens for set, range.
Removed unused support for LTL, CTL.
Refactored walkers.
Changed superclasses to ExprWalker.
Better debugging code.
Revisiting type system.
No more launching exceptions.