Simplify Preserve signature

Also, add helpers to create numerous simplified constraints
Simplify Quarantine and Root
Simplify Preserve