liftA2 package:backprop

Lifted liftA2. Lifts backpropagatable functions to be backpropagatable functions on Traversable Applicatives.
liftA2, but taking explicit add and zero.
liftA2, but with Num constraints instead of Backprop constraints.