Back-compat for TH SpecialiseP data-con of Pragma

This commit improves the backwards-compatibility story for the SpecialiseP constructor of the Template Haskell Pragma datatype.

Instead of keeping the constructor but deprecating it, this commit makes it into a bundled pattern synonym of the Pragma datatype. We no longer deprecate it; it's useful for handling old-form specialise pragmas.