Make the semantics repl elab take the initial env