Use zipLazy from Util in VectType, rather than defining our own lazy_zip