New versions of Range and NonEmpty
More work on new versions
Much progress