types+grammar: tweaks to clarify wording in ch3