Add pragma to representation.
Add support for fold vectorization and interleaving.

The utility of this approach will become apparent only when we start
turning those fold for loops into something more amenable to
vectorization/interleaving, e.g. after fusion.