Intuitionistic $j$-Do-Calculus in Topos Causal Models