Added Ordered to TokenSpan, because it's worth it.