Macro cmul 

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

Builds a Term::Mul from two Terms.