add associativity/precedence rationale (+ a few misc tweaks)