session subkind annotations
simplify kind unification slightly
comments
No need to reveal scheduler_state in proc.mli
Extend the server-side interpreter to support access points, channels,
and all of the session typing operations.