fn mk_add_rules( overflow_mode: OverflowMode, ) -> fn(&[(BaseTy, Expr); N]) -> Option<MatchedRule>
a + b