Cosmetic
Domains: add support for check constraints in scripting. To do: display in GUI and verify use in comparison