removing dependency of the generic code generator to old code generator functions thyname_of_type and thyname_of_const
removing dependency of the generic code generator to old code generator functions thyname_of_type and thyname_of_const

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