Improve instance search in `equation`

[valis]

Meta equation finds the first appropriate instance, but it might not be the best. For example, it could use an instance of the Ring class instead of CRing if the instance of the former comes first.