types+grammar: more clarifying info in ch5 around side-effect operators and the comma operator