update proof about compile_fake_exp for printing

statement is in terms of print_envE from the semantics, which should
make the repl proof easier.