Change expected error message in kindchk compile-fail tests.
Fix pretty-printing for bounded closures. Close #7333.
Add a run-pass test for existential traits in ARCs.