this approach of let-binding became so popular in ML family.
| let x=t in t let-binding Reduction: t1 --> t1'
lisp 没有提供类似于 bind_quoted 的方法,但是,我们可以使用 let-binding 对 unquoted AST 进行绑定和重复使用。