Fixed Traversal/Range to support Union (resulting in DisjointRange), and
added syntactic sugar operators.