Delete types.jl