(Partial commit)

(Partial commit)
Improved version of cicReduction. Configurations can now be preserved as much
as possible (without need to go back to terms by means of unwind).
This allows the implementation of new strategies and removes a few sources of
inefficiences.

The commit is partial since not every strategy has been ported yet.