Extracting expressions from LazyHList

[zickgraf]

CompilerForCAP has a new feature which allows to extract expensive expressions from lists if they depend on inner lists but not outer lists ("generalized hoisting"). For an example see https://github.com/homalg-project/CAP_project/blob/c782dea8acd953353cf0415f44b138ec128d9c95/CompilerForCAP/tst/loop_extraction.tst#L22-L49

We can also provide such optimizations for LazyHList but: the extracted parts would then not be lazy anymore. Do you want this? If yes, you have to provide a function LazyHListWithKeys analogous to ListWithKeys (see documentation). Then I can add it to CompilerForCAP. If no, I will add LazyHList it to the ignore list of CompilerForCAP.

Context: CompilerForCAP throws warnings if it encounters an unknown type of list. This leads to CI errors, e.g. here https://github.com/homalg-project/FunctorCategories/actions/runs/3141073119/jobs/5103116265

[zickgraf]

As just discussed, I will add LazyHList to the ignore list for now and we revisit this if we have applications profiting from it.