finishes small-step semantics and adds big-step to expressions