Improve quasiquote patterns for MN

In the past, this elaborated to `_`.  However, this led to pattern matches
confusing built-in types like `()`, as these are named with `MN`. This
update makes the generated pattern more specific.
Merge pull request #1444 from david-christiansen/reflection-updates

Improve quasiquote patterns for MN