（「引用类」于（「数组引用类」于（「列」于（「字符串」合「整数」））））

文言：常量之叶可共，有可变之物不可共。汉语：仅共享字面整数、爻和单元组成的构造器；载荷元组必须只被该构造器使用一次，普通元组和含引用的对象不共享。

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

暂无说明。

（「引用类」于（「列」于（「整数」合「整数」合（「列」于「正则原子」））））

暂无说明。

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

暂无说明。

化「有」而「有」

暂无说明。

化「正则原子」而「字符串」

暂无说明。

化「整数」而化「整数」而化（「列」于「正则原子」）而「整数」

暂无说明。

化（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）而「有」

暂无说明。

化「有」而「回收项串」

文言：构造之常，各为可变之全局，初为空。汉语：每个构造常量是一个可变全局变量 $k号，初值为空引用，启动时再填入。

化「有」而「回收串」

文言：起始时造诸构造之常：诸叶入元组，与标号合为变体。汉语：启动时创建各构造常量：叶值（装箱整数、i31 爻、空单元）放进元组，再与标签序号组成 $variant，存入 $k号。