Fix bug where partially applying a supercombinator caused the evaluator to loop

Need to restore dump and wasn't. Also added test for free variables in lambda
(which is what made me notice the loop!) and added test output for map, fold,
and freevar.