Extending constraint DSL