Added .pop() to Chan as a complete alternative to .succ() and .zero().#26

ebfull wants to merge 1 commit into

Munksgaard:masterMunksgaard/session-types:masterfrom

ebfull:masterebfull/session-types:masterCopy head branch name to clipboard