How about we simplify this to just

    case q"$a.this.str($s)" ⇒ LiteralString(s)

?
The DSL makes sure that the `$s` tree is always going to be typed as a `String`, so we can simply leave it uninspected, right?