pub type BehaviorMessage<B> = <<B as Behavior>::Protocol as Protocol>::Msg;
Public message algebra projected from a behavior’s stable protocol.