I need RangeDictionary

I need to model the initialization state of memory in an interpreter, i.e., what type is a given range initialized to?