Text this: Unifying cubical and multimodal type theory