WIP: Relax domain checking to use only `==`
Instead of comparing the instances of the main, merely check for equality, i.e. make sure both objects describe the same domains.
Instead of comparing the instances of the main, merely check for equality, i.e. make sure both objects describe the same domains.