Worked solutions to Pierce's Software Foundations book