Make fold rewrites look through type synonyms when folding types