Update type_def.h