Port HsToCore errors and warnings to the new infrastructure

Part of #18516.

This MR converts virtually all the diagnostic messages from the desugarer from using SDocs into type constructors of the DsMessage type.

I will rebase into an atomic commit once Richard will give the final green lights.