Add Constraint trait.