Builtin stringify would be helpful
There are cases (like macro attributes) where strings are acceptable but stringify!() invocations are not. This means that it would be helpful if we had a way in derive_deftly to produce strings.
I suggest ${s .. .. .. }
as a built-in stringify syntax.