Symbol -> NamedSymbol