New message type for leaving

You now report leaving a channel before doing so.