Pretty: Merge nested begins, avoid begin in let/letrec/let*
Keep begins in the AST.
Allow applications in the spine.
moveChecksUp: Begin will never have checks on entering
Instantiate primitive functions using actual label
Allow steps to report results
Add --stats and --no-stats flag.
Clean up output
First implementation of mobility stats
Remove extraneous "show"
ElimRedundant: Simplify after adding duplicates
Report step results differently
Add missing gensym primitive
Add reporting for number of checks
Driver for paper benchmarks
remaining changes to examine.pl
more tests
Testbed for developing recursion
Basic path splitting
Remove state monad from recursion solver