Delete types.tpp