Code cleanup in symbolic.jl