Definition of name equivalence

[ElegantBeef]

`type D = C` is a type alias as such `C is D` and ` D is C` , whilst a new type 
is introduced the type is just a new name for the right hand side.