[experimental, GATED — do not merge] echo-additive R2/R3: comparative monad/comonad variance protocol

[experimental, GATED — do not merge] echo-additive R2/R3: comparative monad/comonad variance protocol #734