My answers to Benjamin Pierce's "Software Foundations" exercises, v3.1 (July 2014)