Bounded Collections

Bounded types and their supporting traits.