Clarify semantics with respect to trait derivations.

Prettify.