Update types.h