Generalise the remaining cli queries impl over all eras

They all follow more or less the same pattern. Various helper functions
become polymorphic with class and type equality constraints.

We then need a couple more helper functions for obtaining the necessary
constraints so they're available where we need them.