extend compile_fake_exp_val statement for exceptions

and fix the existing proof for the non-exception case.
also briefly start on extended statement/proof for compile_dec.
get compilerProofsTheory building, with cheats for some exc cases
WIP: start on exception case of compile_fake_exp_val
Merge branch 'master' into compile_dec_exc
update compilerProofsTheory for two-future compile_dec
prove cheats in compile_fake_exp_val