Orbifolds as Microlinear Types in Synthetic Differential Cohesive Homotopy Type Theory