Galois connections for composable numeric casts in Rust

connections 用 Galois connections 建模 Rust 数值类型之间的可组合 cast。项目试图把 lossless、bounded 或有序映射等转换语义表达成数学结构，而不是只依赖零散 `as` cast 或手写检查。它适合关注系统语言中“安全转换”如何被类型和抽象代数共同约束。