bug fix in lazy-vector: needed to update lastix as we go
pr04 ready except for R0 and R1 in the induction.
Seems to be working (fast up to 10; running 15 overnight)