Remove unused headers in type.cpp