move reductions out of step, so that it actually is deterministic
get all the examples working with new reduction semantics