I took another look just now, and the fix to allow string specs was
simpler than I had thought.  The attached patch suffices for my
practical purposes, but I'll confess that I don't know all the ways
verbatim arguments can appear in macros.

Paul