爻类型索引

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

索引式许阳、阴、已核为爻之变量，及豫言标准库 数据结构/爻术。豫 中 非、且、或者 之完备调用。并核包身份与声明所出；用户同名之函不得充索引运算。余实参须先以 虑 缚之，而后以其名为索引。

惟折叠字面之术；运算含变量者存其结构与序，不施爻之代数等价。生产比较今惟增闭合爻索引之规约，余式仍从旧结构比较。规范化预算循实参之序累计，限一百万步；逾限则报“类型规约超出步数”。

运算身份八验、AST 规范化九验皆过；实闭合索引正例出七，异值、径调用户函数反例皆如期拒之。完整自举、定点联合类检、豫构测试皆过；含爻索引之正式广义类型回归三十四项皆过。原生验收、变量索引细化、依值箭头、隐式值实参推定犹待毕。