Refactoring for "freeVars" implement
Refactoring for "yexpr" implement
easy to read document test cases
Refactoring for "apply" implement
Refactoring for "rename" implement
Refactoring for "rename" implement
Refactoring for "rename" implement
Merge branch 'evaluation'