Unifying Cubical and Multimodal Type Theory