Implemented sending out added failures via events, and made adjacent changes to helper classes
Changed event type name for semantic reasons (its just understandable far better this way)
Creating designators and adding them are now two different atomic symbolic actions