You're probably right, though I made this choice because the `special` parameter is just a speed optimization used by StringMatcher and is not likely used elsewhere. `options`, on the other hand, *is* likely to be used.

I could keep the new signature and deprecate the old by looking for the presence of `special.specials`. What do you think?