Update type.ml