new file:   type.h