Macro type_expr 

macro_rules! type_expr {
    (<$a:ty> + <$b:ty>) => { ... };
    (<$a:ty> * <$b:ty>) => { ... };
    (<$a:ty> - <$b:ty>) => { ... };
    (<$a:ty> + $($b:tt)+) => { ... };
    (<$a:ty> * $($b:tt)+) => { ... };
    (<$a:ty> - $($b:tt)+) => { ... };
}