uniform interface for type_syntax/term_syntax/declaration, dependent on morphism; tuned some morphisms;
uniform interface for type_syntax/term_syntax/declaration, dependent on morphism;
tuned some morphisms;

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