No default import of Exception when type checking Exception itself.
Cleanup
Compiler now supports "fail F", where F is current function
Uncommented tests for "fail".