Added semi-lattice locales and reorganized fold1 lemmas
Added semi-lattice locales and reorganized fold1 lemmas

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle