Text this: Multimodal Dependent Type Theory