This is more or less what I had in mind, yes. I feel like anything dealing with intervals should go through code we control and construct intervals accordingly. I think that's what I care about more than a default isEmpty or whatever.