add instructions to syntax.mli