Fix some docs issues in the plugin API
I'm working on a plugin and have been running into some issues in the docs, so I'm fixing them as I go on here.
I saw that HoleFitPlugin
wasn't exported while poking around building a GHC plugin. Let's export it, to make the interface clearer.
The example for tcPluginRewrite does not compile, so I fixed it.