Fix issue #80: XOR commutativity
Add and modify some expression tests