removes useless newDigraph
new Node, Edge Eq instances

Changes Node and Edge Eq instances (which now compare the id's), and
addNodeAction accordingly