Fix pattern matcher double defining symbols used in type tests that are known to succeed.
Fix PreserveSubPatBinders not storing subparts that are used only for type tests.