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.