así que, hoy pensé que había encontrado una manera de enumerar solo términos lineales mientras aún podíamos podar ramas muertas de manera perezosa. eso sería una gran aceleración en SupGen, pero no funcionó :( así que volvemos a enumerar términos λ completos por el lado positivo, aprendí que podemos enumerar todos los términos de tipos de datos arbitrarios, sin necesidad de dividir etiquetas, simplemente construyéndolo como un acumulador con huecos. no parece muy útil, pero, de todos modos, aquí está el código fuente de HVM3: