Type function application has its own depth counter now
Add test cases for Coercing recursive newtypes (#8503)