ml Enables ocamlduce XML typechecking.