Although, if it were another `ROM::Relation` I wonder if it could still be made to work. It'd be silly to have that much indirection, but possible (I think?). The main thing is that it takes some object that quacks like a relation, and I believe `ROM::Relation` instances are API compatible with `Axiom::Instances` ?