Closes, more or less, #160 (closed)
There are things to decide though, like how to deal with overlapping operations. Also, should "empty rows" disappear? Once we can insert operations between rows, i.e. #159 (closed), I think that it is OK and this can be closed as well.