types+grammar: ch5, clarifying associativity discussion