A single iteration of the Newton-Raphson method.
newtonRaphsonIter r k a assumes that
a is a species having
contact of order
k with species
t = x (that
* (r `
t agree on all label sets of size up to and
k), and returns a new species with contact of order
See BLL section 3.3.