寻观「标准库」之书。
寻观「拓展库」之「顺序标识符」之「顺序标识符」之书。

寻观「编译器核心」之「编译数据」之「编译配置」之「编译期输出」之书。

寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「内建常量数据」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「内建常量表示方法」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「抽象语法树数据」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「抽象语法树表示」之书。

「内建」乃化「内建常量」而「表达式」也。
「内建」者会「甲」而（「式节点」于（「内建节点」于「甲」）于「罄」）也。

「内建元类型」者「内建」于「内建类型元类型」也。
「内建元类型式」者「内建」于「内建类型元类型」也。

「抽象替换自由变量」乃化「字符串」而化「整数」而化「表达式」而「表达式」也。
「抽象替换自由变量」者会「绑名」而会「当前序数」而会「式」而
  鉴「式」而
    有「自由变量」于「名」则
      （若「串相等」于「名」于「绑名」则「绑定变量」于「当前序数」否则「式」）
    或有「绑定变量」于「序数」则「绑定变量」于「序数」
    或有「绑定」于「名」于「下式」则「绑定」于「名」于（「抽象替换自由变量」于「绑名」
      于（「加」于「当前序数」于「一」）于
      「下式」
    ）
    或有「式节点」于「名称」于「式列」则「式节点」于「名称」于（（「态射」）于
      「式列」于（会「待替换式」而「抽象替换自由变量」于「绑名」于「当前序数」于「待替换式」））
    或有「其他」则「发生事故」于『未有229』
也。

「：构造抽象 进行抽象于X于X X = λX.X X：」
    「进行抽象」乃化「字符串」而化「表达式」而「表达式」也。
「进行抽象」者会「绑名」而会「式」而
  「绑定」于（「可有」于「绑名」）于（「抽象替换自由变量」于「绑名」于「一」于「式」）
也。

「进行多抽象」乃化（「列」于「字符串」）而化「表达式」而「表达式」也。
「进行多抽象」者会「绑名」而会「式」而
  （「从右折叠」授以「字符串」授以「表达式」）于（会「名」而会「当前式」而「进行抽象」于「名」于「当前式」）于
    「式」于「绑名」
也。

「进行无名抽象」乃化「表达式」而「表达式」也。
「进行无名抽象」者会「式」而
  「绑定」于（「可无」）于（「式」）
也。

「解构替换绑定变量」乃化「整数」而化「表达式」而化「表达式」而「表达式」也。
「解构替换绑定变量」者会「当前序数」而会「替换式」而会「式」而
  鉴「式」而
    有「自由变量」于「名」则「自由变量」于「名」
    或有「绑定变量」于「序数」则
      （若「等」于「当前序数」于「序数」则「替换式」否则「绑定变量」于「序数」）
    或有「绑定」于「名」于「下式」则「绑定」于「名」于（「解构替换绑定变量」
      于（「加」于「当前序数」于「一」）于
      「替换式」于「下式」
    ）
    或有「式节点」于「名称」于「式列」则「式节点」于「名称」于（（「态射」）于
      「式列」于（会「待替换式」而「解构替换绑定变量」于「当前序数」于「替换式」于「待替换式」））
    或有「其他」则「发生事故」于『未有253』
也。

「：非重复替换变量必须：」
    「解构替换绑定名非重复」乃化「整数」而化「字符串」而化「表达式」而「表达式」也。
「解构替换绑定名非重复」者会「当前序数」而会「替换自由变量名」而会「式」而
  鉴「式」而
    有「自由变量」于「名」则
      （若「串相等」于「名」于「替换自由变量名」则「发生事故」于『名称重复』否则「自由变量」于「名」）
    或有「绑定变量」于「序数」则
      （若「等」于「当前序数」于「序数」则「自由变量」于（「替换自由变量名」）否则「绑定变量」于「序数」）
    或有「绑定」于「名」于「下式」则「绑定」于（鉴「名」而
      有（「可有」于「内名」）则（若「串相等」于「内名」于「替换自由变量名」 「：如果相等则替换，这样可以保证如果一个复杂表达式只用该函数解构抽象，也不会遇到相同的抽象：」
      则
        （「可有」于（「下个字符序数」于「内名」））
      否则
        「名」
      ）
      或有「可无」则「可无」
    ）
          于（「解构替换绑定名非重复」于（「加」于「当前序数」于「一」）于「替换自由变量名」于「下式」）
    或有「式节点」于「名称」于「式列」则「式节点」于「名称」于（（「态射」）于
      「式列」于（会「待替换式」而「解构替换绑定名非重复」于「当前序数」于「替换自由变量名」于「待替换式」））
    或有「其他」则「发生事故」于『未有270』
也。

「替换抽象名称」乃化「字符串」而化「表达式」而（「表达式」）也。
「替换抽象名称」者会「新名」而会「式」而鉴「式」而
  有「绑定」于（「名」）于「下式」则
    「绑定」于（「可有」于「新名」）于「下式」
  或有「其他」则「发生事故」于『不可替换抽象于非绑定式』
也。

「表达式完整性检查」乃化「整数」而化「表达式」而「有」也。
「表达式完整性检查」者会「绑定变量上限」而会「式」而
  鉴「式」而
    有「自由变量」于「名」则（若（「存在吗」授以「字符串」）于（会「串」而「串相等」于「串」于「名」）
      于（（「态射」）于「所有内建常量」于（会「量」而（「内建常量表示」于「量」）））
    则
      「元」
    否则
      「发生事故」于『表达式不完整，出现自由变量：』附「名」
    ）
    或有「绑定变量」于「序数」则（若「小于」于「绑定变量上限」于「序数」
    则
      「发生事故」于『表达式不完整，出现绑定变量：』附（「整数表示」于「序数」）
    否则
      「元」
    ）
    或有「绑定」于「名」于「下式」则（「表达式完整性检查」于（「加」于「绑定变量上限」于「一」）于「下式」）
    或有「式节点」于「名称」于「式列」则（（「列」于「有」也（「态射」）于
          「式列」于（会「待检查式」而「表达式完整性检查」于「绑定变量上限」于「待检查式」））；
      「元」
    ）
    或有「其他」则「发生事故」于『未有463』
也。

「获取可能绑定名」乃化「表达式」而「字符串」也。
「获取可能绑定名」者会「式」而鉴「式」而
  有「绑定」于（「可有」于「名」）于「下式」则「名」
  或有「绑定」于（「可无」）于「下式」则
    （虑「名」者「下个字符序数」于『绑』而「名」）
  或有「其他」则「发生事故」于『不可读取非绑定式』附（「表达式表示」于「式」）
也。

「更新可能绑定名」乃化「表达式」而「表达式」也。
「更新可能绑定名」者会「式」而鉴「式」而
  有「绑定」于（「可有」于「名」）于「下式」则
    （虑「名」者「下个字符序数」于「名」附『_更新_』而「绑定」于（「可有」于「名」）于「下式」）
  或有「绑定」于（「可无」）于「下式」则
    （虑「名」者「下个字符序数」于『绑』而「绑定」于（「可有」于「名」）于「下式」）
  或有「其他」则「发生事故」于『不可读取非绑定式』附（「表达式表示」于「式」）
也。

「更新可能绑定名特殊变换」乃化（化「字符串」而「字符串」）而化「表达式」而「表达式」也。
「更新可能绑定名特殊变换」者会「变换」而会「式」而鉴「式」而
  有「绑定」于（「可有」于「名」）于「下式」则
    （虑「名」者「下个字符序数」于（「变换」于（「名」附『_更新_』））而「绑定」于（「可有」于「名」）于「下式」）
  或有「绑定」于（「可无」）于「下式」则
    （虑「名」者「下个字符序数」于『绑』而「绑定」于（「可有」于「名」）于「下式」）
  或有「其他」则「发生事故」于『不可读取非绑定式』附（「表达式表示」于「式」）
也。

「绑定变量少一」乃化「整数」而化「表达式」而「表达式」也。
「绑定变量少一」者会「减少变量序数」而会「式」而
  「尝试运行」于（会「无」而
    鉴「式」而
      有「自由变量」于「名」则「自由变量」于「名」
      或有「绑定变量」于「序数」则
        （若「小于」于「序数」于「减少变量序数」则「绑定变量」于「序数」否则「发生事故」于『无法减少绑定变量』）
      或有「绑定」于「名」于「下式」则「绑定」于「名」于（「绑定变量少一」
        于（「加」于「减少变量序数」于「一」）于
        「下式」
      ）
      或有「式节点」于「名称」于「式列」则「式节点」于「名称」
        于（（「态射」）于「式列」于（会「待减式」而「绑定变量少一」于「减少变量序数」于「待减式」））
      「： 或有结构表达式于「声明列」则发生事故于『未有150』 ：」
      或有「其他」则「发生事故」于『未有487』
  ）于（会「异常串」而
    「发生事故」于「异常串」附『=》在试图减少序数为』附（「整数表示」于「减少变量序数」）附
      『的变量，于表达式：』附（「表达式表示」于「式」）附『时「：换行：」』
  ）
也。

「绑定变量包括」乃化「整数」而化「表达式」而「爻」也。
「绑定变量包括」者会「目标变量序数」而会「式」而
  虑「无」者「编译调试打印行」于『binder_is_named』于（会「无」而『检查绑定变量包括』附（「表达式表示」于「式」））
  而
  虑「结果」者
    （「爻」也鉴「式」而
        有「自由变量」于「名」则「阴」
        或有「绑定变量」于「序数」则（若「等」于「序数」于「目标变量序数」
        则
          （虑「无」者「编译调试打印行」于『binder_is_named』
            于（会「无」而『找到绑定变量』附（「表达式表示」于「式」））而
            「阳」
          ）
        否则
          「阴」
        ）
        或有「绑定」于「名」于「下式」则（「绑定变量包括」于（「加」于「目标变量序数」于「一」）于「下式」）
        或有「式节点」于「名称」于「式列」则（（「存在吗」授以「表达式」）
            于（会「待检查式」而「绑定变量包括」于「目标变量序数」于「待检查式」）于
            「式列」
        ）
        或有「其他」则「发生事故」于『未有504』
    ）而
  虑「无」者「编译调试打印行」于『binder_is_named』于（会「无」而『完成检查绑定变量包括』附（「爻表示」于「结果」）
    附（「表达式表示」于「式」））而
  「结果」
也。

「抽象是有名的」乃化「表达式」而（「爻」）也。
「抽象是有名的」者会「式」而
  虑「无」者「编译调试打印行」于『binder_is_named』于（会「无」而『检查抽象是有名的，』附（「表达式表示」于「式」））
  而
  虑「结果」者（「爻」也鉴「式」而
      有「绑定」于「可能名」于「下式」则
        （「绑定变量包括」于「一」于「下式」）
      或有「其他」则「发生事故」于『不可解构非抽象式：』附（「表达式表示」于「式」））
  而
  虑「无」者「编译调试打印行」于『binder_is_named』于（会「无」而『抽象是有名的，结果：』附（「爻表示」于「结果」）
    附（「表达式表示」于「式」））而
  「结果」
也。

「：解构抽象 结构抽象于 X.X X = (X, X X)，不会重复名称：」
「解构抽象」乃化「表达式」而（「字符串」合「表达式」）也。
「解构抽象」者会「式」而鉴「式」而
  有「绑定」于「可能名」于「下式」则（虑「名」者（「获取可能绑定名」于「式」）而
                                      「尝试运行」于（会「无」而「名」与（「解构替换绑定名非重复」于「一」
                                      于（「名」）于「下式」
                                      ））
                                      于（会「错误」
        而
        虑「新名」者「下个字符序数」于「名」而
        「新名」与（「解构替换绑定名非重复」于「一」于（「新名」）于「下式」）））
  或有「其他」则「发生事故」于『23不可解构非绑定式：』附（「表达式表示」于「式」）
也。

「解构无名抽象」乃化「表达式」 「：绑定式：」而
  「表达式」也。
「解构无名抽象」者会「绑定式」而
  鉴「绑定式」而
    有「绑定」于「可能名」于「下式」则
      （「下式」）
    或有「其他」则「发生事故」于『206不可解构非绑定式：』附（「表达式表示」于「绑定式」）也。

「：使用第一个参数作为序数的模板，将第二个参数转换为绑定：」
「构造抽象」乃化「字符串」而化（化「字符串」而「表达式」）而「表达式」也。
「构造抽象」者会「串」而会「式构造」而
  虑「新名」者「下个字符序数」于「串」而
  「进行抽象」于「新名」于（「式构造」于「新名」）
也。

「抽象表达式带名操作条件」乃化（「列」于「字符串」） 「：返回的字符串必须不出现在这个名中：」而
  化「表达式」而化（化「字符串」而化「表达式」而「表达式」）而「表达式」也。
「抽象表达式带名操作条件」者会「不重复名」而会「式」而会「操作」而鉴「式」而
  有「绑定」于「可能名」于「下式」则（虑「名」者（虑「目标名」者（「获取可能绑定名」于「式」）而
                                                  「：如果目标名重复，则替换：」
                                                  若（「存在吗」授以「字符串」）
                                                    于（会「待比较名」而「串相等」于「目标名」于「待比较名」）于
                                                    「不重复名」则（「下个字符序数」于「目标名」）
                                                  否则
                                                    （「目标名」））
                                      而
                                      「尝试运行」于（会「无」而
                                        「进行抽象」于「名」于（「操作」于「名」
                                        于（「解构替换绑定名非重复」于「一」于（「名」）于「下式」）））
                                        于（会「错误」而若（「串相等」于「错误」于『名称重复』）
                                        则
                                          （虑「新名」者「下个字符序数」于「名」而「进行抽象」于「新名」
                                              于（「操作」于「新名」
                                              于（「解构替换绑定名非重复」于「一」于（「新名」）于「下式」）））
                                        否则
                                          （「发生事故」于「错误」）））
  或有「其他」则「发生事故」于『43不可解构非绑定式：』附（「表达式表示」于「式」）
也。

「抽象表达式操作」乃化「表达式」而化（化「表达式」而「表达式」）而「表达式」也。
「抽象表达式操作」者会「式」而会「操作」而「抽象表达式带名操作条件」于「罄」于「式」
  于（会「串」而会「式」而「操作」于「式」）也。

「：解构抽象 结构抽象于λX.X X = (X, X X)，其中X必须符合条件，另外X也不会重复表达式中变量：」
「解构抽象名称条件」乃化「表达式」而化（化「字符串」而「爻」）而（「字符串」合「表达式」）也。
「解构抽象名称条件」者会「式」而会「条件」而鉴「式」而
  有「绑定」于「可能名」于「下式」则（虑「名」者（「获取可能绑定名」于「式」）而
                                      （递归虑「选名称」其化「字符串」而「字符串」者
                                              （会「串」而若（「条件」于「串」）则「串」否则
                                                  （「选名称」于（「下个字符序数」于「串」）））
                                            而
                                            虑「选名」者「选名称」于「名」而「尝试运行」
                                              于（会「无」而「选名」与（「解构替换绑定名非重复」于「一」
                                                于（「选名」）于「下式」
                                            ））于（会「错误」而若（「串相等」于「错误」于『名称重复』）
                                            则
                                              （虑「新名」者「下个字符序数」于「选名」而「新名」与（「解构替换绑定名非重复」于
                                                    「一」于（「新名」）于「下式」
                                                ））
                                            否则
                                              （「发生事故」于「错误」））））
  或有「其他」则「发生事故」于『262不可解构非绑定式：』附（「表达式表示」于「式」）
也。

「解构无绑定抽象」乃化「字符串」而化「表达式」而「表达式」也。
「解构无绑定抽象」者会「调试信息」而会「式」而鉴「式」而
  有「绑定」于（「名」）于「下式」则
    「尝试运行」于（会「无」而「绑定变量少一」于「一」于「下式」）
      于（会「错误」而「发生事故」于「错误」附
        『，在解构无绑定抽象时，』附「调试信息」附『：』附（「表达式表示」于「式」））
  或有「其他」则「发生事故」于『267不可解构非绑定式：』附（「表达式表示」于「式」）
也。
「：式替换 X (\Y Z) = [X/Y] Z：」
「式替换」乃化「表达式」而化「表达式」而「表达式」也。
「式替换」者会「替换式」而会「被替换式」而
  鉴「被替换式」而
    有「绑定」于（「名」）于「下式」则
      （「解构替换绑定变量」于「一」于「替换式」于「下式」）
    或有「其他」则「发生事故」于（『不可替换非绑定式：』附
      『「：换行：」试图用』附（「表达式表示」于「替换式」）附『对』附（「表达式表示」于「被替换式」）附
        『进行替换』
    ）
也。

「：用自由变量替换绑定，要求自由变量不重复：」
「式替换不重复名」乃化「字符串」而化「表达式」而「表达式」也。
「式替换不重复名」者会「替换自由变量」而会「被替换式」而
  鉴「被替换式」而
    有「绑定」于（「名」）于「下式」则
      （「解构替换绑定名非重复」于「一」于「替换自由变量」于「下式」）
    或有「其他」则「发生事故」于（『不可替换非绑定式：』附
      『「：换行：」试图用』附（「替换自由变量」）附『对』附（「表达式表示」于「被替换式」）附『进行替换』
    ）
也。

「： 式有名替换 X Y Z = [X/Y]Z ：」
「式有名替换」乃化「表达式」而化「字符串」而化「表达式」而「表达式」也。
「式有名替换」者会「替换式」而会「替换自由变量」而会「被替换式」而
  「式替换」于「替换式」于（「进行抽象」于「替换自由变量」于「被替换式」）也。

「结构名称转表达式」乃化（「列」于「字符串」）而「表达式」也。
「结构名称转表达式」者会「名称」而
  鉴「名称」而
    有「罄」则「发生事故」于『不可为空』
    或有（（「列」【「单」】））则「自由变量」于「单」
    或有「其他」则「式节点」于（「结构投影」于（（「第N个」授以「字符串」）
          于（「减」于（（「长度」授以「字符串」）于「名称」）于「一」）于
          「名称」
      ））于（（「列」【（「结构名称转表达式」于（（「取」授以「字符串」）
            于（「减」于（（「长度」授以「字符串」）于「名称」）于「一」）于
            「名称」
        ））】）
    ）也。

「： Simultaneous Substitutions ：」
「同时式替换」乃化（「列」于「表达式」）而化（「列」于「字符串」）而化「表达式」而「表达式」也。
「同时式替换」者会「替换」而会「变量」而会「前式」而
  若（「不等于」于（「长度」于「替换」）于（「长度」于「变量」））
  则
    「发生事故」于『同时替换，长度不同』
  否则
    （虑「抽象后式」者（「从右折叠」授以「字符串」授以「表达式」）
      于（会「变」而会「式」而「进行抽象」于「变」于「式」）于「前式」于「变量」而
      虑「替换后式」者（「从左折叠」授以「表达式」授以「表达式」）
        于（会「替」而会「式」而「式替换」于「替」于「式」）
        于「抽象后式」于「替换」而
      「替换后式」
    ）也。

「：会包含重复的：」
「读取模式匹配新变量」乃化「表达式」而（「列」于「字符串」）也。
「读取模式匹配新变量」者会「式」而
  鉴「式」而
    有「自由变量」于「名」则「罄」
    或有「绑定变量」于「名」则「罄」
    或有「式节点」于（「模式匹配新变量」于「名」）于「参」则（（「列」【「名」】））
    或有「式节点」于（「其他节点」）于「参」则「串联」于（（「态射」）于「参」于「读取模式匹配新变量」）
    或有「绑定」于「名」于「下式」则「读取模式匹配新变量」于「下式」
也。

「：会包含重复的：」
「读取式自由变量」乃化「表达式」而（「列」于「字符串」）也。
「读取式自由变量」者会「式」而
  虑「结果」者（「列」于「字符串」也（鉴「式」而
      有「自由变量」于「名」则（（「列」【「名」】））
      或有「式节点」于（「模式匹配分支」）于（（「列」【「模式」，「结果」】））则（「列减」于「串相等」
        于（「附加」于（「读取式自由变量」于「模式」）于（「读取式自由变量」于「结果」））
        于（「读取模式匹配新变量」于「模式」））
      或有「式节点」于（「其他节点」）于「参」则「串联」于（（「态射」）于「参」于「读取式自由变量」）
      或有「绑定」于「名」于「下式」则「读取式自由变量」于（「下式」）
      或有「绑定变量」于「名」则「罄」
    ））而
  「结果」
也。

「自由变量在式出现」乃化「字符串」而化「表达式」而「爻」也。
「自由变量在式出现」者会「串」而会「式」而
  （「存在吗」授以「字符串」）于（会「待比较串」而「串相等」于「串」于「待比较串」）
    于（「读取式自由变量」于「式」）
也。

「自由变量不在式出现」乃化「字符串」而化「表达式」而「爻」也。
「自由变量不在式出现」者会「串」而会「式」而
  「非」于（「自由变量在式出现」于「串」于「式」）也。

「自由变量在式出现次数」乃化「字符串」而化「表达式」而「整数」也。
「自由变量在式出现次数」者会「串」而会「式」而
  （鉴「式」而
    有「自由变量」于「名」则（若「串相等」于「名」于「串」则「一」否则「零」）
    或有「式节点」于「其他节点」于「参」则「具体列」之「求和」
      于（（「态射」）于「参」于（会「待统计式」而「自由变量在式出现次数」于「串」于「待统计式」））
    或有「绑定」于「名」于「下式」则「自由变量在式出现次数」于「串」
      于（「下式」）
    或有「绑定变量」于「名」则「零」
  ）
也。

「：获取所有的依赖文件名，会包含重复的：」
「读取文件引用依赖」乃化「表达式」而（「列」于「字符串」）也。
「读取文件引用依赖」者会「式」而
  鉴「式」而
    有「自由变量」于「名」则「罄」
    或有「绑定变量」于「名」则「罄」
    或有「式节点」于（「文件引用节点」于「串」）于「罄」则（（「列」【「串」】））
    或有「式节点」于（「文件定义引用节点」于「串」于「定义名」于「序数」）于「罄」则（（「列」【「串」】））
    或有「式节点」于（「文件定义内存引用节点」于「串」于「定义名」于「序数」）于「罄」则（（「列」【「串」】））
    或有「式节点」于（「文件定义存储节点」于「串」于「定义名」于「序数」）于「参」则
      （「缀」于「串」于（「串联」于（（「态射」）于「参」于「读取文件引用依赖」）））
    或有「式节点」于（「其他节点」）于「参」则「串联」于（（「态射」）于「参」于「读取文件引用依赖」）
    或有「绑定」于「名」于「下式」则「读取文件引用依赖」于「下式」
也。

「：获取所有的调用的函数名，会包含重复的：」
「读取函数引用依赖」乃化「表达式」而（「列」于「字符串」）也。
「读取函数引用依赖」者会「式」而
  鉴「式」而
    有「自由变量」于「名」则「罄」
    或有「绑定变量」于「名」则「罄」
    或有「式节点」于（「函数引用节点」于「串」）于「罄」则（（「列」【「串」】））
    或有「式节点」于（「其他节点」）于「参」则「串联」于（（「态射」）于「参」于「读取函数引用依赖」）
    或有「绑定」于「名」于「下式」则「读取函数引用依赖」于「下式」
也。

「式递归不解构抽象」乃承「甲」而化「表达式」而
  化（化「表达式」而（「或可有」于「甲」））而
  化「甲」 「：绑定变量值：」而
  化（化「节点名称」而化（「列」于「甲」）而「甲」）而「甲」也。
「式递归不解构抽象」者受「甲」而会「式」而会「测试递归」而会「默认值」而会「合并」而
  鉴「式」而
    有「自由变量」于「名」则（鉴「测试递归」于「式」而
      有「可无」则「发生事故」于『递归不解构抽象在自由变量获得了可无』
      或有（「可有」于「结果」）则「结果」
    ）
    或有「绑定变量」于「名」则（「默认值」
      「： 鉴测试递归于式而
            有「可无」则发生事故于『递归不解构抽象在绑定变量获得了可无』
            或有（可有「结果」）则结果 ：」
    ）
    或有「式节点」于（「节点」）于「参数」则（鉴「测试递归」于「式」而
      有「可无」则（「合并」于「节点」于（（「态射」）于「参数」
          于（会「参」而（「式递归不解构抽象」授以「甲」）于「参」于「测试递归」于「默认值」于「合并」）））
      或有（「可有」于「结果」）则「结果」
    ）
    或有「绑定」于「名」于「下式」则（（「式递归不解构抽象」授以「甲」）于「下式」于「测试递归」于「默认值」于「合并」）
也。

「：返回者如果自由变量不再lambda节点下出现：」
「自由变量在式顶层出现」乃化「表达式」而化「字符串」而「爻」也。
「自由变量在式顶层出现」者会「式」而会「名」而
  （「式递归不解构抽象」授以「爻」）于「式」于（会「内式」而
    鉴「内式」而
      有「自由变量」于「内名」则（「可有」于（「串相等」于「名」于「内名」））
      或有（「式节点」于（「拉姆达抽象」于「形」）于「参」）则（「可有」于「阴」）
      或有（「式节点」于（「拉姆达抽象带类型」于「形」）于「参」）则（「可有」于「阴」）
      或有「其他」则「可无」
  ）于「阴」于（会「节点名」而会「子结果们」而（「从左折叠」授以「爻」授以「爻」）于「或者」于「阴」于「子结果们」）
也。

「表达式统一操作」乃化（化「表达式」而「表达式」）而化「表达式」而「表达式」也。
「表达式统一操作」者会「操作」而会「式」而
  鉴「式」而
    有「自由变量」于「名」则「自由变量」于「名」
    或有「绑定变量」于「序数」则（「发生事故」于『不应出现绑定变量443』）
    或有「绑定」于「名」于「下式」则（「抽象表达式操作」于「式」于「操作」）
    或有「式节点」于「名称」于「式列」则「式节点」于「名称」于（（「态射」）于「式列」于（「操作」））
    或有「其他」则「发生事故」于『未有487』
也。

「表达式可选操作」乃化（化「表达式」而（「或可有」于「表达式」））而化「表达式」而「表达式」也。
「表达式可选操作」者会「操作」而会「式」而
  鉴（「操作」于「式」）而
    有（「可有」于「后式」）则「后式」
    或有「可无」则（「表达式统一操作」于（会「待操作式」而「表达式可选操作」于「操作」于「待操作式」）于「式」）
也。
