pub fn promote_modality(modality: Modality) -> Modality
Promotes a modality from notebook type to modality for modal theory.