Exercises from Pierce's "Software Foundations".