WyRL: working on restructuring the way that AbstractRewriter works.
TESTING: added test case for #383.
The problem is an internal failure arising during type checking related to the use of an unit lambda.
WyIL: added strategy rewriter to house different rewriting strategies #382
WyRL: still working on simplifying the rewrite system
WyRL: still working on the new design for the rewrite systems.
WyRL: first version of new AbstractRewriter is almost ready to go!!
WyRL: some minor tweaks
WyRL:
WyRL: StrategyRewriter now compiles and (potentially) could work.  #382
WyRL: updated logic example to use StrategyRewriter; currently it doesn't work though. #382
WyRL: fixed bug with SimpleRewriteStrategy #382
WyRL: updated arithmetic example
WyRL: added support to StrategyRewriter.Strategy for recording the number of probes performed.
WyRL: added static dispatch rewrite strategy.
WyRL: updated global dispatch rewrite strategy to compile.
WyIL: updated semantic type to use new rewriter
WyRL: updated the types example to new rewriter system.
WyRL: updated closure example to new rewriter system.
WyRL: updated quantifiers example, which is not working completely yet.
WyRL: fixed several bugs in StrategyRewriter for #382