types+grammar: more clarifying text around operator precedence and = assignment, in ch5