Added Control.Monad.Lift.Layer, another less polymorphic variant of the MonadInner family of interfaces with better type inference.