Creates a new constraint.