eliminated raise_term, raise_typ; new internal forms: add_inst_subclass_i, add_inst_arity_i;
eliminated raise_term, raise_typ;
new internal forms: add_inst_subclass_i, add_inst_arity_i;

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