This merge request introduces an abstract domain source. More info TBD.
...
A backstage merge request that we need to merge in order to implement a bunch of upcoming features.