Composing with Modal Exchange & Modal Saturation