v0.0.0-4973-g3a37270a5

[DSLX:TS] Use type zipper to print mismatches in types more nicely.

Remaining to be done: we should identify when tuples have "substring matches";
e.g. they won't structurally match but some elements inside of them will. This
will help make messages better for cases e.g. where we leave off a tuple
element by accident.

Towards google/xls#1379

PiperOrigin-RevId: 626218553