rework repl_fun_alt_proofTheory to match bootstrap translation

mainly: make repl_fun' use the basis state internally rather than taking
it in as a parameter. The tip of translation should now be
basis_repl_step, which calls repl_step passing the concrete initial
state on the initial call.