Constrain values to be less than a maximum, greater than a minimum, or both, and to encode those constraints into the type of the value.