public class EditingChangeState
Encapsulates the status of the change resulting from an editing operation.
There are two kinds of content changes: appearance changes, where something has moved or changed color,
and semantic changes, where something has altered the meaning (text label or nesting) of a graph.
In addition, we want to separately note whether the change is to be undoable or not.