update Types.h