Propagate function name to tactics

Handy for knowing where we are in proof search, for example