Added: IsInstanceOf constraint.