modify type.h