Function add 

pub fn add(b: &mut Builder, x: &Mw, y: &Mw, negate_b: bool) -> Mw

a + b (negate_b makes it a − b).