Refactor contractors

[Kolaru]

This PR refactor the contractors as follow

• Separate logic of contraction and refinement of roots
• Define the contractor function directly as the contractor object

This is relatively minor and should not change any results. It is however nice to have it first before I move to overhauling the interface.