Macro pa::add

macro_rules! add {
    ($x:expr) => { ... };
    ($x:expr,$y:expr) => { ... };
}

x + y

Syntax:

1. add!(x) :: [Add] t => t -> t
2. add!(x,y) = x + y