replaced generic add by add_local/add_global; add_global: report/ignore duplicate bindings;
replaced generic add by add_local/add_global;
add_global: report/ignore duplicate bindings;

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