então, hoje pensei que tinha encontrado uma maneira de enumerar apenas termos lineares enquanto ainda eliminava ramos mortos de forma preguiçosa. isso seria um grande aumento de velocidade no SupGen, mas não funcionou :( então estamos de volta a enumerar termos λ completos por outro lado, aprendi que podemos enumerar todos os termos de tipos de dados arbitrários, sem precisar dividir rótulos, apenas construindo-o como um acumulador com buracos. não parece muito útil, mas, de qualquer forma, aqui está o código-fonte HVM3: