Enabling CodeContracts.
IOperatorInfo interface updated.
Refactoring operators.