Update types.ml