I was wondering if there exists a continuous range type. The idea would be to be able to have something like
0.5 in CRange(0,1)
to return true. The interest is mostly syntactic I guess, but since continuous ranges are a thing in math it could be nice.
We could define stuff like
Rplus = CRange(0, Inf)