new feature: replace unnamed type parameters by fresh type variables