Generate types.h