Implement (!) operator.
Correct difference/\intersection type signatures.
Implement (\\) operator.