Clarified description of super-type list in traits

Added a clearer explanation of the super-type list of a trait,
and the implication of declaring a class type in this list.