add_axclass(_i): return class name only; subclass/arity statements: require actual TVars, store raw data; tuned;
add_axclass(_i): return class name only;
subclass/arity statements: require actual TVars, store raw data;
tuned;

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