types+grammar: tweaking some wording in ch4