Lambda 解释器 Lambda Interpreter 软工一大作业 Interpreter入口，检查 Center入口为控制台版本 额外功能：定义函数、alpha变换 AST类的.toString输出德布罗意形式，.toLambda形式输出常规形式