added IdentifierSymbol class