Starting work on session types.