1.1 表达式（expression）（可以把两个表达式写在一起组成一个新的表达式）
包含：变量（单个字母/多个字母）；括号（表示是一个整体）；λ和.描述函数（函数由λ和变量开头，然后是一个.，然后是表达式），λ没有特殊的含义，只是说函数由此开始，在λ后面，.前面的字母成为变量，.之前的部分，被称为头部（head）,.之后的部分，被称为体（body）
1.2 剪切和粘贴
当函数后面又跟了一个表达式的时候，他可以被解析。
解析过程：将头部的一个变量去掉，然后将它所有在体部出现的这个变量替换成写在函数后边跟着的表达式。做完这一步，我们把头部的变量删了，因为它已经完成了它的使命（即告诉我们替换哪个变量）
1.3 数字
定义0：λ sz.z=λs.λz.z（左边是右边的缩写）
