Macro sub_impl 

macro_rules! sub_impl {
    ($a:ident - $b:ident -> $c:ident) => { ... };
}

Implement the Sub trait based on existing Neg and Add impls.