Add support for vectors that contain SIMD vectors.

Vectors can now have unfoldings that consist of streams containing SIMD vectors
as elements. There are also new operations for operating on vectors using SIMD
operations.
Add a hack to get rid of duplicate loop counters in mzipwith.
Incorporate prefetching.