pure package:backprop

Lifted pure.
pure, but taking explicit add and zero.
pure, but with Num constraints instead of Backprop constraints.
Build a record whose elements are derived solely from a constraint satisfied by each.