Changed the binding type from string->exp to (string * exp) set.
Made Stepper.show print the currently relevant bindings.