TableFun/Symtab: curried lookup and update; nat_option trace_simp_depth_limit;
TableFun/Symtab: curried lookup and update;
nat_option trace_simp_depth_limit;

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