WIP on updating compile_fake_exp_val for new definition of compiler

slowly going through the proof again, dealing with places where the
within-a-module version behaves slightly differently (namely, no
exception handlers wrapped around internal declarations).