types+grammar: ch4 tweaks