erlang: radically simplified channel logic (thank you TLA+!!)