olemus
Wiktionary, noun:
1. a grouping based on shared characteristics; a class
10. (computing theory) a tag attached to variables and values used in determining which kinds of value can be used in which situations; a data type
13. (mathematics) a part of the partition of the object domain of a logical theory (which due to the existence of such partition, would be called a typed theory). (Note: this corresponds to the notion of "data type" in computing theory.)

type conformance -- tüübivastavus (UML)
type conversion -- tüübiteisendus
typed element -- tüübiga element (UML)
type expression -- tüübiavaldis
type level -- tüübitase (UML)

ülevaateid
https://www2.cs.sfu.ca/CourseCentral/383/dma/notes/chapter6.pdf
https://en.wikipedia.org/wiki/Data_type
https://en.wikipedia.org/wiki/Type_(model_theory)
https://en.wikipedia.org/wiki/Type_theory