fix checking in transitive expansion of type abbreviation