类型重构工具

基于类型孔方法的代码重构工具，支持测试驱动开发。 使用类型孔方法重构代码库 - 迭代的、测试驱动的重构，具有正式的孔解析、约束传播和持续验证。适用于重构现有代码、优化架构或通过系统化的孔驱动方法整合技术债务。