Macro impl_binop 

macro_rules! impl_binop {
    ($jit:expr, $comp:expr, $($T:ident::$func:ident from $Trait:literal -> $inst:ident;)+) => { ... };
    ($jit:expr, $comp:expr, $(
impl [$Trait:expr]<$($arg:ident),*> for $T:ident {
    $(fn $func:ident($builder:ident, $a:ident: $A:ident) -> $Ret:ident { $($content:tt)* })+
}
    )+) => { ... };
    ($jit:expr, $comp:expr, $(
impl [$Trait:expr]<$($arg:ident),*> for $T:ident {
    $(fn $func:ident($builder:ident, $a:ident: $A:ident, $b:ident: $B:ident) -> $Ret:ident { $($content:tt)* })+
}
    )+) => { ... };
    ($jit:expr, $comp:expr, $(
impl [$Trait:expr]<$($arg:ident),*> for $T:ident {
    $(fn $func:ident($builder:ident, $a:ident: $A:ident, $b:ident: $B:ident, $c:ident: $C:ident) -> $Ret:ident { $($content:tt)* })+
}
    )+) => { ... };
    ($jit:expr, $comp:expr, $(
impl $T:ident {
    $(fn $func:ident($builder:ident, $a:ident: $A:ident) -> $Ret:ident { $($content:tt)* })+
}
    )+) => { ... };
    ($jit:expr, $comp:expr, $(
impl $T:ident {
    $(fn $func:ident($builder:ident, $a:ident: $A:ident, $b:ident: $B:ident) -> $Ret:ident { $($content:tt)* })+
}
    )+) => { ... };
    ($jit:expr, $comp:expr, $(
impl $T:ident {
    $(fn $func:ident($builder:ident, $a:ident: $A:ident, $b:ident: $B:ident, $c:ident: $C:ident) -> $Ret:ident { $($content:tt)* })+
}
    )+) => { ... };
}