My first attempt to do this in #1416 did not correctly reject incomplete haddocks, which this change fixes
This updates the `dhall` package to have 100% haddock coverage and also updates CI to enforce this going forward. This also includes a change to deprecate the `X` type synonym, which I noticed along the way