N.B. I haven't yet reviewed the proposal.For files, finish() should close the file (or at least flush it - unclear on that). I also wonder whether there exists a better name than finish(), and how to handle cases in which e.g. you finish() an output range and then you put more stuff into it, or you finish() a range several times, etc.
How about naming "finish", flush? Which is unambiguous...
