New rewrite unit_abs_eta_conv to compensate for unit_eq_proc
New rewrite unit_abs_eta_conv to compensate for unit_eq_proc

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