Add `Smallstep.Semantics` module