Type Alias Add

pub type Add<A: Nat, B: Nat> = <A as NatAdd<B>>::Output;