Directed type theory, with a twist. - Fernando Rafael Chu Rivera; Paige Randall North (CoRR, 2026)