start trying to use new init_env in repl_fun

problem: we need the initial bytecode machine state, but it is hidden
under an existential quantifier in the invariant about the basis
environment.