Improve docs for ASTDefaults, ASTExtend