Enable $-prefixes in ssr-like {H1 .. Hn} intro-patterns to perform framing.

For example iIntros "{$H1 H2} H1" frames H1, clears H2, and introduces H1.
1 job for master
Status Job ID Name Coverage
  Test
passed #495
coq
buildjob

00:03:49