Use a JSON object to represent Symbols
Simplify JSON format for interfaces