add type.h header