Implement Operators and correct difference/\intersection type signatures.