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

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