Remove redundant typedefs in types.h; include stdint.h unconditionally.