types+grammar: ch5, adding more text about operator precedence