most of a proof of a theorem about the new compile_fake_exp

not sure the statement is as useful as it needs to be yet, though