Emit events on state machine signals

[zimri-leisher]

One common pattern I have is creation actions to raise events. For instance, see warn_invalidCmd in the following code:

It would be nice if I could instead say:

Perhaps the type of the event args would have to correspond to the type of the signal. It might also have two implicit args (current state, and signal received).