hs: more lifting zigzag-ish stuff,

fixed a bug in the zigzag product algorithm.