Update datatypes.h