small-steps-0.1.0.0: Small step semantics