Info: print names for other primitive tactics in Proofview.
Naming taccall: a failed attempt.
Revert "Naming taccall: a failed attempt."

This reverts commit dddce904ceab9019a88cecbe0de168273fe3dc99.
Info: name calls to Ltac constants.
Refactoring.