Draft: Use user-written named wildcard names

The newNamedWildTyVar function used to always generate a variable named w, even though the wildcard was a named wildcard. It improves error messages to keep the user-written wildcard name.