But it is an uninitialized optional

That discussion happened > 7 years ago, many things changes since then. Now we have mature generics and it it would be possible making a conditional conformance to Comparable. From the pitch:

Good time to have this discussion or everyone is happy with the current status quo?