Support framing in `iCombine`.

I wish that the iCombine tactic would support framing: iCombine "H1 H2" as "$".