Evaluator 决定 Scheme 程序的意义
Evaluator 自身也是个程序
Universal Machine is a program that takes any program as input and reconfigures itself to simulate the input program