#29: transition of VM state constraints
#29: transition of Node state constraints
#29: simplification of ban and fence
Simplify Preserve signature

Also, add helpers to create numerous simplified constraints
Simplify Quarantine and Root
Simplify Preserve
(#29) Simplify Quarantine
#29, #24 Remove SingleRunningCapacity.

It is now merged inside RunningCapacity
#29, #24 Remove SingleResourceCapacity.

It is now merged inside ResourceCapacity
Clean the code from choco2 comments
code cleaning