字符串类型索引

此为提案 00002 字符串类型索引之生产接入说。类型构造器之显参定义域可为内建字符串；先验实参为字符串，而后验其索引式之形。

索引式许字面串、已核为字符串之变量，及豫言标准库 数据结构/字符串术。豫、语言核心/原语。内建。豫 之 字符串拼接 完备调用。并核包身份、声明所出；用户同名函、字节串拼接不入此律。余实参先以 虑 缚之，而后以其名为索引。

规范形循拼接结合律存有序段，去空串、合相邻字面串；变量段存其位，不施交换律。生产比较今增闭合字符串索引之规约，变量索引仍从旧结构比较。规约预算循实参之序累计，一百万步尽则报“类型规约超出步数”。

身份八验、AST 八验、闭合比较三验皆过。实标准库拼接等价例行出七；次序异、径调用户函数反例皆合所期拒绝诊断。完整自举、定点联合验证皆过，正式广义类型回归三十四项皆过；列表定义域见列表类型索引。原生验收、变量细化、依值箭头、隐式值推定犹待毕。