Rename set-type to set-connector-type; help-panel & types-glossary polish.

- Command renamed from `set-type` to `set-connector-type` for
  clarity (the previous name was ambiguous — "type" of what?). No
  legacy alias kept; old scripts that still used `set-type` must be
  migrated. `test/system.essim` and all user/design docs updated.
- Help panel (RenderHelpPanel) now wraps in borderRounded with a
  centred bold title, so it is visually distinct from the main
  content on every screen. Width bumped from 30 to 32 to include
  the border.
- Analyze screen's Types tab gains a sibling "type glossary" panel
  (also borderRounded, only visible when the Types tab is focused)
  that explains Power / Suspect Power / Hard floor / Gnd in plain
  language using `paragraph()` for clean word-wrap.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

doc/user/analysis.md

@@ -111,7 +111,7 @@ deserves attention:
 
 | Tag | What it means |
 |---|---|
-| `[pin-role]` | A connector pin is typed (via `set-type`) as Power or Gnd but the actual signal landing on it disagrees. |
+| `[pin-role]` | A connector pin is typed (via `set-connector-type`) as Power or Gnd but the actual signal landing on it disagrees. |
 | `[net-mix]` | A net bridged across modules carries both Power and Gnd signals — almost always a topology mistake. |
 | `[diff-pair-orphan]` | `STEM_P` with no `STEM_N` in the same module. |
 | `[bus-gap]` | A bus is missing one or more index values inside its range. |
@@ -128,7 +128,7 @@ Every classification is advisory. To force a different type:
   on a signal entry → a popup lets you pick `power` / `gnd` /
   `other`. Or type `set-signal-type <module> <signal> <type>` in the
   console (or from the palette).
-- **Connector type**: `set-type <module> <part> <connector-kind>`
+- **Connector type**: `set-connector-type <module> <part> <connector-kind>`
   (also via the dashboard `[t]` shortcut). This drives the pin role
   expectations, which feed the `pin-role` check.