Interval Treeset based on finger trees