added test case for XOR (currently failing, too imprecise)
first implementation of a slightly more precise xor. seems sound.