Module pattern 

最小 Pattern DSL：静态可构造的树形模式 + 绑定。

复杂规则仍可直接在 Rule::check 里手写结构判断；这里的目的是 让“形状”类规则摆脱 if-let 嵌套，且 Pat 是纯数据、未来可序列化成声明式规则。

Enums

Pat

Functions

match_pat

matches

便捷入口：匹配成功返回绑定表。

Type Aliases

Binds