I also find it kind of ironic, because one would think they would achieve structure not being a pain with a solid type system, but it seems to be based on multi

I also find it kind of ironic, because one would think they would achieve structure not being a pain with a solid type system, but it seems to be based on multiple inheritance, with no union types. That's fine and everything, but it's hardly going to win any medals around structuring the resulting programs. Also, redefining classes elsewhere is cool and everything until you lose your IDE, and your productivity drops to 0 because your code isn't indexable by rationality.