Improved AstNode.toString, and made it and AstNode.children final.