Removed MonadInnerMono* and added back MonadInner{Invariant,Functor}.

This nice thing is that they're polymorphic this time! Will need to update the documentation to reflect this though.