类型重构工具

该插件利用类型孔方法进行代码库的迭代重构，提供正式的孔解析、约束传播和持续验证功能。适合重构现有代码、优化架构，或通过系统化的孔驱动方法整合技术债务。