Varieties of K-lattices