Ranged Sets now have a Monoid instance, and singletons (i.e. a range holding a single value). Thanks to Jean-Philippe Bernardy for the patch. Paul.