Exercises 17-18
Comments on exercise 17
Merge commit '6c3621b7c6cb064bcbc7c58318e7376633068ca0'

Conflicts:
	PracticalProgrammingWithDependentTypes.agda