pr-str for AST::List