The JSON AST