more (final for now???) cleanups to the Range<> code - clarifying definition of empty