_integerRangeSubpattern() (new name) significantly rewritten, and with comments and asserts; still could make some improvements, and incompletely tested