Preparing the iteration ABI for move-only types

Would any of this look different in @dabrahams's hypothetical world where Sequence is just a convenient way of defining a custom Collection? Perhaps that is too speculative to be relevant, though.