$textTT^{Box}_{mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity (Logical Methods in Computer Science, 2024)