Type I-Fv and engineered type IV-A1 CRISPR-Cas effectors facilitate genome reduction in Escherichia coli. — SciRadar