Elaborate quasiquote patterns to something useful

This causes parts of the terms that either vary unpredictably or don't
contain interesting information to be elaborated to _ in a pattern-match
context.