types+grammar: tweaking ch4 text