Distinct Types

Certain programming languages, notably Odin, has a distinct types feature to allow for the creation of a new type with the same underlying semantics

My_Int :: distinct int
#assert(My_Int != int)