寻观「标准库」之书。

「原生相加并限定结果类型」乃化「整数」而化「整数」而「整数」也。
「原生相加并限定结果类型」者会「甲」而会「乙」而
  （「整数」也（《《外调》》名『豫言_整数加』【「甲」，「乙」】））
也。

「带末尾逗号的整数列」乃「列」于「整数」也。
「带末尾逗号的整数列」者
  「列」【
    「一」，
    「原生相加并限定结果类型」于「二」于「三」，
    （若「阳」则「四」否则「五」）
  】
也。

「单元素尾逗号列」乃「列」于「整数」也。
「单元素尾逗号列」者「列」【「一」，】也。

「空的整数列」乃「列」于「整数」也。
「空的整数列」者「列」【】也。
