Added HistoryOperation interface so that certain menu operations can
create and apply history to themselves. To start with, I implemented
this interface in a few CheckedOperation classes.