Flavio, although I'm quite impressed with the new functions of 'SpanSet' 'map', 'grep', 'start_set', 'end_set' and 'intersected_spans' and what you can do with it, I still can't think of a way of doing to an unbounded SpanSet what 'intersected_spans' does to a bounded SpanSet. But maybe I'm just thick and don't see the obvious.
Wouldn't it be possible to easily keep intersected_spans within the limit of it's argument (Span) and thus make it applicable for unbounded SpanSets as well as bounded ones? Thanks for the work so far. Reinhold
