Reintroduce operator overloads for & | ^
'Application' test: 1-bit full adder

Since the BitwiseOr and BitwiseXor constraints are pretty lax, running
these tests took way too long. Instead of improving the constraints, I
improved the search by sorting variables on domain size.