Redo AST and ASTdocumentation in more recent syntax