Name and (if specified) rename of a symbol
Original name (always available)
Rename if specified
See Implementation
Name and (if specified) rename of a symbol