Support typedHole code action without client-side support

[nwolverson]

Currently the typed hole command requires parameters, the code action requires a second client-side command, as here in vscode.

This could better be done in a way that doesn't require client support, as we did for fixTypo (ef1247befe443933ce56a3a12abc7cb745ddf794)

[andys8]

For type holes there is this suggestion:

There is also a fix available:

When trying to run it, it doesn't do anything. Can you confirm this issue is the cause for this behavior?

[nwolverson]

That is correct.