types+grammar: more ch5 discussion around associativity and operator precedence