Add ConstraintKinds pragma where needed