Update Type_type.cpp