Function binary 

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

op between a joint distribution and a value that isn’t one, outcome by outcome: joint again, or an ordinary distribution of what’s left, like the truth values of comparisons.