Macro mul 

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

Builds a Term::Mul from two Terms.