Document Trait Bounds

[Havvy]

Trait bounds have a small amount of documentation in the "Generic Functions" section, but it's basically a guide-level overview of using them.

I loosely think they'd best be done as a new page under the Types section since they are a cross-concern between item definitions and trait objects use their syntax.