Add an example of a trait used within a trait

Closes #518