adds type.ml for type checking and open lines