Clamp returns a function that clamps against the bounds defined in the bounded type.

MakeBounded creates an instance of a bounded type.

Reverse reverses the ordering and swaps the bounds.