The Core type-matcher should look through PredTypes