Make quantified.el work again with tokens