My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein)