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].