  We propose a unifying setting for dealing with monodromically atypical
intersections that goes beyond the usual Zilber-Pink conjecture. In particular
we obtain a new proof of finiteness of the maximal atypical orbit closures in
each stratum of translation surfaces $\Omega \mathcal{M}_g (\kappa)$, as given
by Eskin, Filip, and Wright. We also describe a concrete algorithm,
implementable in principle on a computer, which provably computes all maximal
orbit closures which are 'atypical' in a sense described by Filip. The same
methods also give a general algorithm for computing atypical special loci
associated to systems of differential equations, and in particular give an
effective and o-minimal free proof of the geometric Zilber-Pink conjecture
variations of mixed Hodge structures.
