Use elimPair within Hyps.

The argument that Hyps eliminates does not propositionally force the subsequent
pair argument (like Vec forces its Nat index), so a second inner elimination
must be used.

The same kind of fix still needs to be applied for case and prove.