types+grammar: ch4 tweak