implements (b^+ a) with some fixes. Prepares for (b^+a^+ aa) and (b^+b^+ aa).
paper on gradients