RESET handling

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

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