prove next cheat in compile_dec_val

the only remaining cheats are for compilation of type declarations (and
the evaluate_enveq thing earlier on).