Create types.ml