let infixop2 =
          Gram.Entry.mk "infix operator (level 2) (start with '+', '-')"