Also known as nominal, name-based type system, nominal typing, nominal typing system, nominative, nominative type system, nominal subtyping, nominative subtyping
major class of type system, in which compatibility and equivalence of data types is determined by explicit declarations and/or the name of the types
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).