Provides a way to encode the following values as types: Peano numbers, integers, and decimals.

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.