[DO NOT MERGE] Disputable: Move set agreement to Kernel#599

Draft

facuspagnuolo wants to merge 3 commits intonextfrom move_set_agreement_to_kernel

+70-37

Commits on Jul 22, 2020

Disputable: Move set agreement to Kernel
facuspagnuolo
committed

Commits on Jul 23, 2020

Disputable: Add setAgreement to IKernel interface
facuspagnuolo
committed

Commits on Jul 24, 2020

Disputable: Small tweaks
facuspagnuolo
committed