Update ast_types.txt