Feature: 增强类型系统，更新约束支持矩阵，增量策略新增多种选项，修复多项逻辑，并通过官方提供的 58 个测试。 (#2)

Feature: 增强类型系统，更新约束支持矩阵，增量策略新增多种选项，修复多项逻辑，并通过官方提供的 58 个测试。 (#2) #16