Add infrastructure to destruct products in function parameters.

Merged Rodolphe Lepigre requested to merge ci/destruct_params into master

This solves yet another point discussed in #30.

Merge request reports