base specDomain on lvalMapDomain with t = Must-Set * May-Set, special vars, alias...