is this not just a synonym for:
this match {
  case Empty[_]() => true
  case _ => false
}
?
I guess the question is whether we force people to convert to an empty interval if they create an interval that has nothing in it (ie a lower bound above the lower boudn, which imho shouldn't be possible)