Primitive types

Tests for equality are available for all primitive types, and also for string types. Also, a value of any primitive type can be concatenated with a string to yield a string.

Primitive types[8]:

SET primitiveType = [boolType] + numericType;

OPER
  cmpeqOp, cmpneOp(primitiveType,primitiveType): boolType;
  prmCondOp(primitiveType,primitiveType): primitiveType;
  prmstrOp(primitiveType,stringType): stringType;
  strprmOp(stringType,primitiveType): stringType;

INDICATION
  eqlInd:  cmpeqOp;
  neqInd:  cmpneOp;
  plusInd: strprmOp, prmstrOp;
  conditionalInd: prmCondOp;
  equalInd: prmCondOp;

This macro is defined in definitions 5, 6, 7, and 8.
This macro is invoked in definition 4.