Fixing interpretation of constr under binders which was broken after
it became possible to have binding names themselves bound to ltac
variables (2fcc458af16b).