Add funext note to Exercise 1.6, close #416
add 941db0c to errata (unmarked)
Merge pull request #430 from mikeshulman/exercise-1.6

Add funext note to Exercise 1.6, close #416