Just finish porting types.h.