added facts to lemma swap_simps and tuned lemma calc_atms
added facts to lemma swap_simps and tuned lemma calc_atms

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