More docs for CHANNEL, and remove the unused Closed exception