Left-outtermost extension of some varieties

Let r : F - > N be a type of algebras F is a nonempty set of fundamental operation symbols and N is the set of all positive integers. An identity ip fa if) of type T we call left-outermost if the left-outermost variables in ip and ip are the same. For a variety V of type r we denote by Vi the variety of type r defined by all left-outermost identities from Id(V). Vl is called the left-outermost extension of V. In this paper we study minimal generics, subdirectly irreducible algebras and lattices of subvarieties in left-outermost extensions of some generalizations of the variety D of all distributive lattices.