Normalized form of a generate loop.
This is a product type, introduced by deftagsum in support of vl-genelement.