moved lift_raw_const wrapper out of the Quotient-package into Nominal2
moved lift_raw_const wrapper out of the Quotient-package into Nominal2

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