Interval search.
Interval match.
Interval tests.
Better monoid handling.
Updated documentation.