type missmatch error for channel directions should be actionable

[proppy]

Describe the bug
Type missmatch errors for in out direction on channels don't actually show the channel kind:

xls/examples/proc_iota.x:54:27-54:28
0052:     let (s, r) = chan<u32>("my_chan");
0053:     spawn producer(s);
0054:     spawn consumer<u32:2>(r);
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^ XlsTypeError: Mismatch between parameter and argument types (after instantiation).
Mismatched elements within type:
Overall type mismatch:
   chan(uN[32])
vs chan(uN[32])
0055:     ()
0056:   }

making it hard to identify and fix the actual error.

To Reproduce
apply the following diff to proc_iota.x

diff --git a/xls/examples/proc_iota.x b/xls/examples/proc_iota.x
index 503612ba7..91c6073c2 100644
--- a/xls/examples/proc_iota.x
+++ b/xls/examples/proc_iota.x
@@ -35,7 +35,7 @@ proc consumer<N:u32> {
 
   init { u32: 0 }
 
-  config(input_r: chan<u32> in) {
+  config(input_r: chan<u32> out) {
     (input_r,)
   }
 

Expected behavior

The error include the channel direction.

[proppy]

dupe of #1392