Different levels of unfolding

[CThuleHansen]

In some cases it could be useful not to unfold everything until just before execution. For example, for DSE, it would be useful with a spec that is only folded till the level of parameters. It would then be necessary to use the same spec along with many different configurations where each one contains different values for the parameters.