Symmetries, local names and dynamic (de)-allocation of names