Macro match_commutative 

macro_rules! match_commutative {
    (
        $operant1_expr:expr,
        $bin_op_expr:expr,
        $operant2_expr:expr,
        $( $operant1:pat, $bin_op:pat, $operant2:pat $(if $if_expr:expr)? => $block_to_execute:block ), +
        $(non_commut { $( $operant1_non_commut:pat, $bin_op_non_commut:pat, $operant2_non_commut:pat $(if $if_expr_non_commut:expr)? => $block_to_execute_non_commut:block ), + })?
    ) => { ... };
}