Good morning.
here is a proposal to introduce generic equality and comparisons in CL. The proposal is minimal and it is in the spirit of Java and C# equality facilities. The names are not fixed in stone.
Please let's discuss it in this spirit. I am well aware of KMP's considerations on the subject and of other issues as well.
-- Marco Antoniotti