Work on SLIF grammar args: t+