fix up the small step semantics definition

and minor tweak to bigStep to make it build