update type.h