[OskarS]

But you would still need to change it everywhere, right? Like, instead of changing the annotation everywhere you have to change the type everywhere. Doesn't seem like a huge difference to me.

[Animux]

There is a difference if the type is used inside a structure.

[OskarS]

Fair, good point.