Adding a (partially complete) new domain that allows arbitrary
non-relational value domains as the base domain.