TT☐C: a Family of Extensional Type Theories with Effectful Realizers of Continuity