macro_rules! add_rule {
    ( $v:ident => $( $i:ident $sorts:tt )|+ ) => { ... };
}