quindi, oggi pensavo di aver trovato un modo per enumerare solo i termini lineari pur potando i rami morti in modo pigro. sarebbe un enorme aumento di velocità su SupGen, ma non ha funzionato :( quindi siamo tornati a enumerare termini λ completi d'altra parte, ho scoperto che possiamo enumerare tutti i termini di tipi di dati arbitrari, senza bisogno di dividere le etichette, semplicemente costruendolo come un accumulatore con buchi. non sembra molto utile, ma, comunque, ecco il codice sorgente HVM3: