Type function application has its own depth counter now
Add test cases for Coercing recursive newtypes (#8503)
Testcase for Coercible and newtype families (#8548)
Coercible-base GND: update error messages

(unfortunately, not to the better, these might need some more
massaging.)
Update test output of print018

It seems that “Use bindLocalNamesFV in rn_inst_info” makes some names
nicer in the debugger output.