term <-> sexpr, starting updated stepper