added rename_params_rule: recover orginal fresh names in subgoals/cases;
added rename_params_rule: recover orginal fresh names in subgoals/cases;

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