types+grammar: tweaks to wording in ch4