Separate algebraicity along families of algebraic curves A recursive family of differential polynomials generated by the Sylvester identity, and addition theorems for hyperelliptic Kleinian functions 