Add Ada and Pascal style bounded integer types?

[mborland]

Something to the affect of:

bounded_uint x {100, 200}

Class bounded_int
{
    Template <detail::integral T>
    Consteval bounded_int {T min, T max}
    {
        // Check bounds
        // Choose internal wrapper type?
    }
};

[mborland]

A non zero type could trivially be added by doing say a u8 {1, 255} as that would minimize some checks and allow more compile time. Rust has:

NonZero<u8> ...