Hi Nathanael, thanks for your thorough explanation.  You have clarified
the crux of the difference between Traits and stateless MI.  'Super' is
lexically bound in MI, but dynamically bound in Traits.  Otherwise
Traits and stateless MI are basically the same thing.  Maybe they can be
made more alike by using a single type of a behavior object and single
type of combination rules, instead of two different kinds (class and
traits, inheritance and nesting).  Then add a way to specify "dynamic"
super.  I don't have anything in mind now, but I'll think about it.

Cheers,
Anthony