It's called abstraction, which is used when modelling categories of things, you do it lots when you write code right, so things are reusable. Like you probably

It's called abstraction, which is used when modelling categories of things, you do it lots when you write code right, so things are reusable. Like you probably have something called an iterrable in your programming language of choice, so why not just call it a linked list, or a vector, is basically the argument you're making in my opinion. To be fair, I do find some modelling languages do disappear into too much abstraction, they basically end up like being a Upper Ontology [1] and lack instances/examples that make them approachable in practice. [1] https://en.wikipedia.org/wiki/Upper_ontology https://en.wikipedia.org/wiki/Upper_ontology