Tactics.Relabel: rewrite to use canTy for matching canonical constructors
Tactics.Relabel: rewrite to use canTy for matching canonical constructors

This means that we can write |con x| on the left-hand side, amongst other things.


larrytheliquid/pigit,mietek/epigram2,mietek/epigram2