get toIntLangProofsTheory to build again
get toBytecodeProofsTheory building with new intlang exceptions
all compiler tests now build

still with cheats for handled exceptions and type declarations, though.
the compile_val only talks about evaluating to a value at the moment, so
has to cheat on handle.