According to
<https://nim-lang.org/docs/manual.html#type-relations-type-equality>, _name
equivalence_ is used for objects, enumerations, distinct and generic types.
If _name equivalence_ here means that two types are equal if and only if they
have the same name, we can infer that
type A = object
type B = object
echo A is B #false
echo B is A #false
Run
However, it cannot explain
type C = object
type D = C
#`C` and `D` also have different names.
echo C is D #true
echo D is C #true
Run
I've searched in the page but couldn't find further explanations about _name
equivalence_.
