make select_instance_thm use the standard name for a tyval