Alert system that notifies the user (through a visible exclamationmark in the upper right corner) of the existence of unsaved edited instances of
the abstraction he is editing or about to edit.
Clicking the exclamation mark will bring up the corresponding unsaved instances, for an easy location.