An edit proposed from the changes of a version.
The ids of the symbols it deletes, in the order of their places.
The ids of the symbols it inserts, in the order of their places.
Optional
The shape of the change, where it takes one the program knows.
An edit proposed from the changes of a version.