Macro cadd 

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

Builds a Term::Add from two Terms.