Folding changes to support efficient sub-circuit instance aggregation

[joseandro]

Add the changes to folding in order to support efficient sub-circuit instance aggregation. Most of the code can be adapted with little changes and most of the work is likely just providing a new interface that facilitates the use.