support for uninstantiated type_parameters, setting them to TopType