Delete dumptype.h

I do not need this anymore