types+grammar: tweaking ch4 wording around intentions of the chapter