why do we have DiagramEditor... and Notation...? I think only one is needed