Update definedtypes.h