Put the carrier also in the back of canonical structures.

This is inspired by ssr, and makes unification faster if it goes
right-to-left.

See https://sympa.inria.fr/sympa/arc/ssreflect/2013-11/msg00010.html
1 job for master
Status Job ID Name Coverage
  Test
passed #464
coq
buildjob

00:03:49