minor refactor: a few utility methods
Fix typo in documentation of traits
Document multiple inheritance of traits