Arrays

Reference types[12]:

CLASS arrayOps(elementType) BEGIN
  OPER
    arrayinit(elementType): arrayOps;
    arrayaccess(arrayOps,intType): elementType;
    obj2arrOp(objectType): arrayOps;
    strarrOp(arrayOps,stringType): stringType;
    arrstrOp(stringType,arrayOps): stringType;
    arrCondOp(arrayOps,arrayOps): arrayOps;
    arreqOp, arrneOp(arrayOps,arrayOps): boolType;

  COERCION
    (arrayOps): objectType;
    (nullType): arrayOps;
END;

INDICATION
  arrayInit:      arrayinit;
  arrayAccess:    arrayaccess;
  plusInd:        strarrOp, arrstrOp;
  castInd:        obj2arrOp;
  conditionalInd: arrCondOp;
  eqlInd:         arreqOp;
  neqInd:         arrneOp;
  equalInd:       arrCondOp;

This macro is defined in definitions 9, 10, 11, and 12.
This macro is invoked in definition 4.