Update typedefs.h