Better str() for ASTObject