update compiler for new exceptions, untested

tests and proofs likely broken; waiting on metatheory before running the
tests.