RESET handling

If an individual channel is reset, the synchronization events of the channel affected are deleted, i.e. all wait requests (#WAIT) which the channel in question has sent and all non-broadcast signals (#SIGNAL) destined for it are deleted.

Broadcast signals are not deleted if a channel is reset since these signals may still be awaited by channels. They must be deleted explicitly (#SIGNAL REMOVE).