Update types.h

Cambio realizado desde github