types+grammar: few tweaks/clarifications in ch3