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.