Too many type variables

Code like this:

```fsharp
let inline yeet a b c d e = (c - d) * a + (e * f) // ...
yeet 1.0 2.0 3.0 4.0 5.0
```

Ends up creating a lot of type variables that leak out into tooltips:


Additionally, the `...` in the tooltip implies we'll elide info about concrete instantiations, but we do not.

It's also probably worth finding a better way to format all of the constraints, since a single line for that many of them makes the VS tooltips go wild.