Research Coslice Colimits in Homotopy Type Theory Preprint (accepted to CSL 2025) Technical report [arXiv] [local copy]