Better printing of Ltac values.