Thanks for the helpful reply, Simon!
> > The new bit here is that `$dC'` is not found via matching in the LHS,
but
> > rather by instance resolution from `k`, which does appear explicitly in
> > the LHS
> Well this would be something qualitatively new. We don’t that ability in
> rules; and it’s
For now, I'm trying to determine whether it possible to use the in-scope
dictionary variables for constraint solving from a built-in rewrite rule. I
guess (unsure) my question is how to set up a call to `solveWanteds` to
take those variables into account when solving a given constraint/predicate.