prop359: Make xor more strict.
Wesley noticed that although we defined ^ to apply to strings of unequal length, we never actually use that definition.
Wesley noticed that although we defined ^ to apply to strings of unequal length, we never actually use that definition.