Add Ada style modular numbers?

[mborland]

In ada you can write something like:

type Day_Of_Week is mod 7;

So we could do something to the effect of

Class modular_integer
{
    Template <unsigned_integer T>
    Consteval modular_integer(T mod_value)
    {
        // set internal value
        // May have to add some kind of make function to work with the existing policies? Idk
    }
};