Updated the .ml and .mli files generated by atdgen.