Honest unresolved-faminst placeholder text

Honest unresolved-faminst placeholder text

The previous status text said "the equation isn't in this project's
dumps", which is only one of the reasons the placeholder fires. The
other — equally common in real codebases — is that classgraph doesn't
fully simulate GHC's type-family rewrite chain: a use site like
@ChainDepState (BlockProtocol blk)@ won't unify with the
@ChainDepState (Praos c)@ data instance unless we can first reduce
@BlockProtocol blk@ to @Praos _@. If @blk@ stays abstract or the
inner reduction stops, the outer family looks unresolvable even when
the equations are right there in the dumps.

Spell out both reasons in the side panel, with concrete examples and
a hint to open the family node to inspect the equations we *do*
have.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>