Fixed binary operators for Constraint class. 

Binary operators should be defined as free functions so they have consistent argument conversion rules for both parameters.