Add a specification for the Symbol class