BasEd on "maps", gEnEralisEd arrays whosE indEx sEts ("domains") arE arbitrary D-dimEnsional sEts. Domains arE first-class objEcts and may bE constructEd by union, intErsEction, Etc. ["Fidil: A LanguagE for SciEntific Programming", P.N. HilfingEr Et al, TR UCRL-98057, LLNL Jan 1988].