fix: add getname(::Symbol) method

Author: AayushSabharwal

src/trait.jl

@@ -47,7 +47,7 @@ symbolic_type(::Type{Expr}) = ScalarSymbolic()
 """
     hasname(x)
 
-Check whether the given symbolic variable (for which `symbolic_type(x) != NotSymbolic()`) has a valid name as per `getname`.
+Check whether the given symbolic variable (for which `symbolic_type(x) != NotSymbolic()`) has a valid name as per `getname`. Defaults to `true` for `x::Symbol`.
 """
 function hasname end
 
@@ -57,9 +57,11 @@ hasname(::Any) = false
 """
     getname(x)::Symbol
 
-Get the name of a symbolic variable as a `Symbol`
+Get the name of a symbolic variable as a `Symbol`. Acts as the identity function for
+`x::Symbol`.
 """
 function getname end
+getname(x::Symbol) = x
 
 """
     symbolic_evaluate(expr, syms::Dict; kwargs...)

test/trait_test.jl

@@ -4,3 +4,8 @@ using Test
 @test all(symbolic_type.([Int, Float64, String, Bool, UInt, Complex{Float64}]) .==
           (NotSymbolic(),))
 @test symbolic_type(Symbol) == ScalarSymbolic()
+@test hasname(:x)
+@test getname(:x) == :x
+@test !hasname(1)
+@test !hasname(1.0)
+@test !hasname("x")