Fix error in check - expand type synonyms first