Bounded

Adds the Bounded protocol from the Basis.