Typedef NumeredTypesMapTy is not used anywhere.