Allow traits to be transparently or "invisibly" mixed in

Yes, but that is what I wrote as “my current work around”. It works, but it’s not nice because it leads to a lot of extra code in larger libraries.

Also given that we may have the new keyword deemphasised, there is even less incentive to create companion objects “for the sake of it”.