types+grammar: more in 'operator precedence' in ch5