Let IValue implement Comparable interface since it already comes with compareTo(Object).
Let IValue implement Comparable interface since it already comes with
compareTo(Object).

[Refactor][TLC]
tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus