Delete type.h