We study the Taylor varieties and obtain new characterizations of them via
compatible reflexive digraphs. Based on our findings, we prove that in the
lattice of interpretability types of varieties, the filter of the types of all
Taylor varieties is prime