SMS dit: Varieties of distributive lattices with unary operations .1.