* Properly link filename compatibility checks into `cabal check` * Improve consistency and clarity of Check error messages