Add class for symbolic ranges
Add class for symbolic ranges

Compared with PySLATA, this definition is a lot more simplified.  All
the ranges are assumed to be atomic and disjoint.  No need to implement
the range arithmetic.

tschijnmo/drudge,tschijnmo/drudge,tschijnmo/drudge