Text this: Normalization for multimodal type theory