types+grammar: more tweaks in ch4 < algorithm text