Filter out type variables on pattern match.

This occurs when pattern matching on values of existentially
quantified types.