Add small-step semantics module