Fixes, let, letrec, and better kont handling in the stepper.