Type IV CRISPR–Cas systems are highly diverse and involved in competition between plasmids