renaming (push/pop --> send/recv)

The push and pop operations on channels are now called *send* and
*recv*.