Erase elaborated kinds from all errors by default

[kl0tl]

Description of the change

Nate noticed that NoInstanceFound errors were showing kind applications, which are supposed to be erased in error messages (not hints) unless with --verbose-errors, because they are directly rendered with typeAtomAsBox instead of with something similar to prettyType.

This pull request replaces all occurrences of typeAtomAsBox prettyDepth, except in hints, with a prettyTypeAtom function which erase kind applications as prettyType does.

---

Checklist:

• Added the change to the changelog's "Unreleased" section with a reference to this PR (e.g. "- Made a change (#0000)")
• Linked any existing issues or proposals that this pull request should close
• Updated or added relevant documentation
• Added a test for the contribution (if applicable)

[hdgarrood]

Shall we merge the release notes PR first and then add this to the list of PRs for polykinds in the release notes then?

[JordanMartinez]

Shall we merge the release notes PR first and then add this to the list of PRs for polykinds in the release notes then?

Sounds sensible to me.