Semantics -> Semantics.BigStep
small-step semantics (modulo Fst, Snd & Case)