邱奇数

lambda演算中唯一基础数据类型是函数，邱奇数就是用高阶函数表示常见的基础数据类型（整数、布尔值、键值对、列表等等）

自然数都是数字，邱奇数都是函数，邱奇数的n是n阶函数，f^n(inc, base) === f(inc, f(inc, ...f(inc, base)))，所有邱奇数都是有2个参数的函数