Revert "Test Trac #9023"

This reverts commit f6e494231b2ad00fa073fc6623a876ffe40e900e.

Signed-off-by: Austin Seipp <austin@well-typed.com>
Revert "Fix egregious instantiation bug in matchOneConLike (fixing Trac #9023)"

This reverts commit d1c2a2784ffc120bdd8f1fccc9cc61933c0cc5d0.

Signed-off-by: Austin Seipp <austin@well-typed.com>
Revert "Store IfExtNames for PatSyn matchers and wrappers in interface file."

This reverts commit e40bd13b5b509b76d61ae66247ded145d4af93ea.

Signed-off-by: Austin Seipp <austin@well-typed.com>