Add Real, Enum and Integral instances for Label for convinience
Add a reference type for super
Bug fix: isolate per scope, not per line (fixes issues with scoping)
Refactor to allow code reuse between HUnit tests and QuickCheck tests
Fix variable names
Use QuickCheck assertions in place of HUnit assertions (gives better error messages)
Show'ing code just gives the code
Handle booleans specially since they are represented as int's in the jvm bytecode (and we cannot yet type them correctly!)
Use mico-scoping around if's to fix cases where a value is pop'ed in either the True or False case (before we pushed it twice by "emulating" both cases!)
Minor cleanup
Use shorter map names ; fix issues with use of this ; dummy mapSuper
Revert to use a simpler, more correct mapGotoIf
Simplify with Safe.lastMay
Update phase1 names
Add --test-qc flag for running QuickCheck test-suite