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.

kwangkim/pigment,kwangkim/pigment,brixen/Epigram,kwangkim/pigment