types+grammar: tweaking ch2 intro wording
types+grammar: more tweaks, ch4 discussion of types controversy