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.