In evarconv, do first-order unification of LetIn's properly, ensuring we compare bodies
of convertible types! Bug found by B. Ziliani.