OK. I'll put this into the next draft, but this leads me to
want to change something: it seems like it would make more
sense for (...) to expand to literal ellipsis, (... ...) to
expand to (...), and so on for arbitrary lengths of lists of
ellipsis. What are some thoughts on this?