Macro add 

macro_rules! add {
    ($a:expr, $b:expr) => { ... };
}

Builds a Term::Add from two Terms.