Function add

pub fn add(a: impl Operand, b: impl Operand) -> Result<Expr>

a + b (C++ add, prim._OpAdd).