session type, cell labels