Comparison of collection types needs design.

[runarorama]

The comparison and equality operations in the Universal namespace are not adequate for List, Map, Set, Tuple, etc.

Given that we don't have type classes in Unison yet, we need to come up with an interim design for these that is as ergonomic as possible.

[aryairani]

@runarorama Issue Triage status check?

[runarorama]

No progress on this. Without implicits or type classes, I don't think it's possible to have a very ergonomic design here.