Fix type synonyms when checking