Symbol: HasTypeKind