Generate Makefile dependencies
It would be nice if we could have our tests generate some dependencies on our algorithms and contexts, so that we could generate them before running the tests. That would allow to avoid compiling twice the same thing, concurrently.
Also, we definitely need some means to decide what algorithm should be part of the context instantiation. Some are definitely missing, e.g., all those that help building expressions (I particularly thinking about the tuple constructs).