#1 - implementation of new constraint notation + necessary DSL changes
+docs