Function binary 

pub fn binary(
    op: BinOp,
    a: &Value,
    b: &Value,
    budget: &mut Budget,
) -> OpResult<Value>