Exercise 7-14 (Par.join)
Added comment from Chapter 7 summary
Exercise 8-1, 8-2, 8-3: Added Gen and Prop