Huge simplifications in Range.v