work on updating compilerProofs for new exceptions

about half way through