Symmetries, Local Names and Dynamic (De)-allocation of Names