tuned interfaces; added invent_types; added import_types/terms;
tuned interfaces;
added invent_types;
added import_types/terms;

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