Tidying and using equalityCE instead of the slower equalityE
Tidying and using equalityCE instead of the slower equalityE

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