@cardano small-steps1.1.1.0

Small step semantics