整数类型索引

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

整数索引式允许整数常量、已检查为整数的变量，以及标准库整数加、减、乘和对应内建原语的完整调用。用户函数调用须先用 虑 绑定，再以绑定名作索引。运算身份按声明来源核对，同名用户函数不能充作内建索引运算。

比较两个闭合整数索引时，先以数学整数系数的多项式规范形比较；系数不按运行时的 64 位整数回绕。因此 加 9223372036854775807 1 与 乘 4611686018427387904 2 相等，与负的 9223372036854775808 不相等。此规则只用于类型比较，运行时整数运算仍遵守原有规则。

索引规约的步数限额为一百万；超限报“类型规约超出步数”。本篇覆盖整数定义域与闭合整数等价比较；其他定义域见爻类型索引、字符串类型索引、列表类型索引。含变量索引的代数等价、列表投影、依值箭头及隐式值实参推定见依值类型。