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.