support many more Unicode infix operators
eliminate a couple more confusables; multiset multiplication U+228D should have * precedence despite looking like a union; change NEWS table to only explicitly list operators that are predefined
rm U+2a01 (N-ary circled plus) from infix list
Merge pull request #6929 from stevengj/uni_ops

support many more Unicode infix operators