（「引用类」于「整数」）

文言：读闭包前优化形式之树，转为简树。凡不可入无垃圾回收之境者，明指而拒之。汉语：把 `表达式` 转成 `低层项`：为每个绑定生成全局唯一的变量名；拉平柯里化调用；把局部函数定义收成 `项局函`；把不支持的构造（闭包、元组、构造器、异常、续延、字符串值）报成带定义名的错误。

（「引用类」于「字符串」）

暂无说明。

（「引用类」于（「列」于「低层函数」））

暂无说明。

承「甲」而化「字符串」而「甲」

暂无说明。

化「字符串」而「字符串」

暂无说明。

「整数」

暂无说明。

化「整数」而化「整数」而「整数」

暂无说明。

化「整数」而「整数」

文言：归于三十二位有符号之域。汉语：把任意整数按模二的三十二次方折回 [-2^31, 2^31)。

「元类型」

暂无说明。

化「字符串」而「低层绑定」

暂无说明。

化「字符串」而化「整数」而「低层绑定」

普通局部：简树中的唯一名

化「字符串」而化「整数」而「低层绑定」

局部函数：唯一名、形参个数

「元类型」

全局函数：全局名、形参个数

化（「列」于（「字符串」合「低层绑定」））而化「字符串」而（「或可有」于「低层绑定」）

暂无说明。

「元类型」

暂无说明。

化（「列」于（「字符串」合「低层绑定」））而化（「列」于「字符串」）而化「表达式」而「低层开结果」

暂无说明。

化「整数」而化（「列」于（「字符串」合「低层绑定」））而化（「列」于「字符串」）而化「表达式」而「低层开结果」

文言：连开若干绑定，各予新名。汉语：依次解构 n 个绑定，给每个变量生成唯一名并加入环境。

化（「列」于（「字符串」合「低层绑定」））而化「表达式」而「低层开结果」

文言：连开拉姆达之链，形参合为一列。汉语：把直接嵌套的拉姆达拉平成一个形参列表；返回值为新环境、形参唯一名与函数体。

化「表达式」而「整数」

文言：不开绑定而数其形参。汉语：只看结构，统计拉姆达链的形参总数。

化「表达式」而（「表达式」合（「列」于「表达式」））

文言：函数调用之链，拉平为头与诸实参。汉语：把嵌套的单参数调用拉平成（头，全部实参）。

化「内建常量」而化（「列」于「低层项」）而「低层项」

文言：内建之数，皆取其名。汉语：把展开后的内建常量转成简树：爻与单元是常量，整数相等、大于、减是内建运算，其余不支持。

化化（「列」于（「字符串」合「低层绑定」））而化「表达式」而「低层项」而化「字符串」而化「表达式」而「有」

文言：转换函数以参数传入，使诸互递归之函数可依序而立。汉语：`低层转换虑`、`低层转局部函数`、`低层登记全局函数` 与 `低层转换` 互相递归，而豫言不许前向引用，故前三者以“转换函数”为首个参数，由 `低层转换` 传入自身；后续之式以“续”函数表之，续受让名之绑定，返其后式之简树。 文言：全局函数声明，于空环境中开其形参，登记之。汉语：`函数全局声明` 里的拉姆达不含自由变量：在空环境里转换函数体，追加到全局函数收集器（全局名为声明所给之名）。

化化（「列」于（「字符串」合「低层绑定」））而化「表达式」而「低层项」而化（「列」于（「字符串」合「低层绑定」））而化「表达式」而化（「或可有」于「字符串」）而化「字符串」而化化「低层绑定」而「低层项」而「低层项」

文言：局部函数，立其名、形参与体，而后续其后式。汉语：`拉式` 是拉姆达链；`递归名` 若有，则同时绑定到本函数，使函数体内按名自调；函数的唯一名交予续，使后式可按名调用。

化化（「列」于（「字符串」合「低层绑定」））而化「表达式」而「低层项」而化（「列」于（「字符串」合「低层绑定」））而化「表达式」而化「字符串」而化化「低层绑定」而「低层项」而「低层项」

文言：虑之值，若为函数，则定为局部函数；若为虑，则上提；余者令之。汉语：处理 `虑 名 者 值 而 后`：值是拉姆达或递归时定义局部函数；值本身是虑或顺序时上提（续原封不动地传给内层）；全局函数声明登记为全局函数；其余是普通的令。`提示` 是让名（用于生成唯一名），`续` 接收让名的绑定并返回后式的简树。

化（「列」于（「字符串」合「低层绑定」））而化「表达式」而「低层项」

暂无说明。

「元类型」

文言：顶层定义之形，或函数，或值。汉语：一个顶层定义转换后的形态：函数有形参与体，值只有一个简树。

化（「列」于「字符串」）而化「低层项」而「低层定义」

暂无说明。

化「低层项」而「低层定义」

暂无说明。

「元类型」

暂无说明。

化「低层定义」而化（「列」于「低层函数」）而「低层定义结果」

暂无说明。

化「字符串」而化（「列」于（「字符串」合「低层绑定」））而化「表达式」而「低层定义」

本定义、及其中声明的全局函数 文言：转一顶层定义头。汉语：`全名` 是定义的全局函数名（文件#名）。定义体可能是：递归包裹的拉姆达（函数）、若干全局函数声明后接包装拉姆达（函数）、或值表达式。

化「字符串」而化「字符串」而化「表达式」而「低层定义结果」

暂无说明。