clarify intensional/extensional in ch 2 notes, close #600
more explanation of "intensional" and "extensional"
Merge pull request #617 from mikeshulman/extensionality

clarify intensional/extensional in ch 2 notes, close #600