Indeed. A type means assigning a rigid category to something. There is not a single taxonomy that is universal, it ends up like the Celestial Emporium of Benev

Indeed. A type means assigning a rigid category to something. There is not a single taxonomy that is universal, it ends up like the Celestial Emporium of Benevolent Knowledge that decides animals into: those belonging to the Emperor, those that are embalmed, those that are tame, pigs, sirens, imaginary animals, wild dogs, those included in this classification, those that are crazy-acting, those that are uncountable, those painted with the finest brush made of camel hair, miscellaneous, those which have just broken a vase, and those which, from a distance, look like flies. Then you have a new use case.