Very cool. With your new trait I can simplify and, in turn, reduce compilation time for usages of
Actually, if I'm not mistaken, with this trait, we can inhibit range value range checking in run-time when and get all the benefits Ada range types currently delivers.
Yet another sales point for D!
