New session types.