Improve interpolation of macro lhs and doc comments. Remove `Matcher`s

Doc comments don't work as expected, though

Closes #6994

Removes the `matchers` nonterminal.

If you're using `$foo:matchers` in a macro, write `$foo:tt` instead.

[breaking-change]