more regtests on DisjointRange, and more operators and implmentation of peices