prove cheats in REPL_FUN_REPL_FUN_STATE_TYPE_closed
prove cheats in INPUT_TYPE_all_cns_repl_decs_cenv
prove cheats in INPUT_TYPE_all_locs and INPUT_TYPE_no_closures
bit of progress on cheat in COMPILER_RUN_INV_INR
prove cheats in COMPILER_RUN_INV_INR
prove COMPILER_RUN_INV_INL
Merge remote-tracking branch 'origin/master' into cenv_close
More proof fixes