Added refresh method to Name class.

This extension allows us to construct a fresh name with the same type
as a given one inside a macro.