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.