Free mu-lattices