Add Re-exports of relevant types

[Profpatsch]

This makes the modules easier to use, since you don’t have to add
e.g. monad-control-identity to your cabal file just to refer to the
class in a type signature.

[jumper149]

wai-websocket also does not do any re-exports. I think the two modules here make sense.

When it comes to MonadBaseControlIdentity, I also wouldn't re-export it. Mainly because these are two different usages.

1. Adding the MonadBaseControlIdentity instance for your ReaderT-Stack
2. Actually lifting wai Applications

Edit:
The only sensible way here, would be to drop the monad-control-identity-dependency and replace it with unliftio. But then again, you might actually call this package wai-unliftio or something like that.

Generally I personally really like the idea of completely removing MonadIO and MonadUnliftIO and instead using MonadBase and MonadBaseControl. This is basically the same argument that made Applicative a superclass of Monad.

[Profpatsch]

I reevaluated this PR, I think the only thing to reexport are typeclasses and stuff you absolutely need all the time to use the library.

e.g. I always hate that https://hackage.haskell.org/package/http-types-0.12.3/docs/Network-HTTP-Types.html#v:status400 and such are in a different package, so in order to write a Wai response you need to always add http-types to your cabal file after a few minutes.

But hls will now show e.g. MonadBaseControlIdentity to come from Websockets.Trans as the first result, so it should only be reexported from the main Trans module.