Delete type.ml