Comment out lots of stuff dealing with the old init_envs

Everything builds, but much of repl_fun_alt and it's proofs are
commented out.