Ambiguating SLIF DSL: t+