feat(domain_of): implement attributes of union and intersect domains

[ca1umac]

Description

Currently set attributes for union and intersect expressions are set to default. This is unbounded. In reality, you may be able to infer bounds. This PR updates conjure-cp-core::ast::expressions::Expression::domain_of.

Related issues

• Fix Attributes of Union and Intersect domains #1527

Key changes

• calculate tighter domain attributes for Union and Intersect

How to test/review

TBD

[conjure-bot]

Documentation Coverage

Report: https://conjure-cp.github.io/conjure-oxide-reports/pr/1547/coverage-docs/index.html

This PR: 43.48% documented, 4.97% with examples (8/70/161)
Main: 43.48% documented, 4.97% with examples (8/70/161)
Delta: docs +0.00 pp, examples +0.00 pp

[conjure-bot]

Code Coverage

Report: https://conjure-cp.github.io/conjure-oxide-reports/pr/1547/coverage-code/index.html
Diff report: https://conjure-cp.github.io/conjure-oxide-reports/pr/1547/coverage-code/diff-coverage.html

This PR: 72.95% lines (16621/22785)
Diff: 0.00% lines (0/18 measured; 22 changed)
Main: 73.64% lines (16621/22572)
Delta vs main: -0.69 pp

[ca1umac]

Even though the tests here pass, it is currently blocked on #1630