Symbol: HasSubtypeKind