types+grammar: clarifying ch5 'associativity' discussion