removed fix_frees interface; added auto_fixes (depends on body mode);
removed fix_frees interface;
added auto_fixes (depends on body mode);

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