Warnings and Deprecations

For now, see the relevant GHC User's Guide Section describing the DEPRECATE and WARNING pragmas.

TODO