Varieties of Residuated Lattices, ordered by inclusion