Update src/types.h