[BarkMore]

The type definition `type X Y` declares new type X with the underlying type of Y. X and Y share underlying types and nothing else.

This is a useful feature and there's nothing weird or special case about how this works. It's just not the aliasing feature you expected.

[whateveracct]

It's still shitty and weird behavior. Not simple at all.