Represents an interval map, which is a map based on an interval tree. This maps an interval (i.e., AddrRange) to a value of type 'V. We currently implement this using the functional finger tree. Intervals in this map are not necessarily disjoint and can overlap. To disallow overlapping intervals, consider using NoOverlapIntervalMap instead.