Solutions to the Software Foundations book by Benjamin Pierce et al