Added the same implementation with fraclet annotations.
Added renaming to lambda calculus interpreter, now the interpreter is fully functional.
Removed some unnecessary functions.