✏️ Exercises: designing a semantics

TODO