DiscreteRange<>: Comments, and new CTOR taking Range,..., and operator^ overload