update for type.h