Defaults for MonadTransControl

I've added helper functions which should make it easier to define new instances of MonadControl for opaque newtype transformers.