series: initial implementation of the new subtraction methods, type-tested.