PInj renamed to Arrow
removing a node or edge removes its label
added atomic actions and rules