Research Coslice Colimits in Homotopy Type Theory Paper [CSL 2025] Technical report [arXiv] [local copy (more up-to-date)]