fix args to TySynInst.