move some theorems out of compilerProofs into misc and intLangExtra
work towards fixing compile_fake_exp_val

now that it does the extra work of setting up the default exception
handler