Generalized 'Bound' type, and some helper functions.