mathlib3

feat(tactic/basic): utility functions for names

#791

Merged