primitive val Greater is
  Equatable[(Less val | Equal val | Greater val)] ref

new val create()
: Greater val^

fun box string()
: String iso^

fun box eq(
  that: (Less val | Equal val | Greater val))
: Bool val

fun box ne(
  that: (Less val | Equal val | Greater val))
: Bool val