Updated documentation
Narrowed Control.Proxy.Trans.Either re-exports
Updated documentation