Follow changes in the narradar-funsat-rpo package
Update the relative to DP processor to push duplicating rules up to the extension system
Splitted listAF out the HasFiltering class to reflect the fact that not all orderings can afford to give up the simple property
Reorganised the support for reduction pairs in order to make it more modular, towards implementing WPO.
First bits are already in place but not done all the Circuits yet.
Considering to split the processors themselves out to a separate Cabal package for easier dev