fix minor stepper damage caused by a9f46ade9ea16eba7507
simplify stepper and fix unevaluated id bug
tiny test for letrec