SI-7984 Issue unchecked warning for type aliases

 - Dealias pattern types before launching the CheckabilityChecker
 - Sharpen the error messages to explain that the dealiased type
   is the expansion of the alias.
Merge pull request #3161 from retronym/ticket/7984

 Issue unchecked warning for type aliases