types+grammar: various tweaks/clarifications to ch4 and ch5, per review comments in #178