Implement nested class Symbol
Document the Symbol class