Trait composition

In Traits (2006, Ducasse et al), traits are able to be composed just like
classes, with the same semantics for the eventual composing class. So here
it is!