Side panel: subclass index, pin/mute buttons; search now locates rather than drills in

Resolve family-instance chains to matching class instances; treat (~) as equality class

demo: cover equality, family-in-context, greetings, and multi-param instance cases

viewer: search bar, pin/mute/filter panels, splitter, equality preds, clean type printing

First commit