Symbol: HasTypePredicate