Add more functionality to the NotationEditor
Start witing in the checking of the Notation in the NotationEditor