We now have public ctors, Index, and Segment. The + operator is much more hidden than those.   Also, without the operator, code that uses position as index is very wacky. It does not care about the Segment, yet it has to deal with it (in the ctor, at least).    We can think about it more, but I would treat this as a separate PR.