Add `Const(::Any)` to make `BasicSymbolic` fully closed

[YingboMa]

#611 is the prerequisite so that we can use recursive types. Instead of Vector{Any} or Dict{Any, X} we will have Vector{BasicSymbolic} and Dict{BasicSymbolic, X}.