爻类型索引

这是提案 00002 的爻类型索引生产接入说明。类型构造器的显式参数定义域可以是内建爻；实参先按爻检查，再检查索引式形状。

索引式允许阳、阴、已核定为爻的变量，以及豫言标准库 数据结构/爻术。豫 中 非、且、或者 的完整调用。检查同时核对包身份与声明来源，同名用户函数不能充作索引运算。其他实参须先用 虑 绑定，再以绑定名作索引。

只折叠字面运算；含变量的运算保存结构与顺序，不应用布尔代数等价。生产比较当前只额外规约闭合爻索引，其他表达式继续按原有结构比较。规范化预算按实参顺序累计，上限一百万步，超限报“类型规约超出步数”。

运算身份八项测试、AST 规范化九项测试已通过；真实闭合索引正例输出 7，不同值与直接用户函数反例按预期拒绝。完整自举、定点联合类型检查和豫构测试已通过；包括爻索引的正式广义类型回归 34 项全部通过。原生验收、变量索引细化、依值箭头和隐式值实参推定仍待完成。