updated types.h