Added optimization rules for Interact operations
Updated documentation
Added 'fmapL' to Control.Proxy.Trans.Either