整数类型索引

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

整数索引式许整数常量、已验为整数之变量，及标准库整数加、减、乘与相应内建原语之完备调用。用户函数之调用，须先以 虑 缚之，而后以其名为索引。运算之身份按声明所出核之；用户函数虽同名，不得充内建索引运算。

比二闭合整数索引，先以数学整数系数之多项式正规形较之；系数不依运行之六十四位整数回绕。故 加 9223372036854775807 1 与 乘 4611686018427387904 2 相等，与负 9223372036854775808 不等。此律用于类型比较；运行时整数运算仍从旧律。

索引规约限一百万步；逾限则报“类型规约超出步数”。此篇及整数定义域、闭合整数等价比较；余域见爻类型索引、字符串类型索引、列表类型索引。含变量索引之代数等价、列投影、依值之箭、隐值实参之推定，见依值类型。