make interval disjoint when useful + compile intervals as or-patterns.
Warning bootstrap does not work.