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