Draft of DisjointRange and DisjointDiscreteRange