Reduce type family applications (copy #3071)

[mergify]

Unevaluated type families can cause a significant compilation overhead during normalization (cf. #1977 and #3063). The PR circumvents the problem by normalizing type families of GHC core types before they are translated into their Clash core equivalent.

This approach is sound, as Clash never is intended to handle non-resolvable type families due to monomorphization. And, even if encountering such case, the given approach will just keep the type as it is.

• Fixes Quadratic normalization complexity in singleton list recursion #1977
• Fixes Significant normalization overhead in type-level list to vector conversion #3063

Still TODO:

• Write a changelog entry (see changelog/README.md)
• Check copyright notices are up to date in edited files

  ---

  This is an automatic copy of pull request Reduce type family applications #3071 done by Mergify.