Modify Type.h