[ADT] IntervalMap: use AlignedCharArrayUnion.