Seol mar théacs é seo: Varieties of distributive lattices with unary operations .1.