Let `iRevert` of a pure hypotheses generate a wand instead of implication.

See merge request !789