Update expression symbols

Use unicode symbols for Xor/Xnor/Implies/ITE.
Also, update the rules for putting parentheses around sub-expressions
with lower priority.
Add a couple code comments