PRIMOP(+, [INT 1, INT 2], [u],
  [APP(LABEL identity, [VAR u])])