Efficient immutable interval sets