Renamed MonadInnerInvariant to MonadInnerMonoInvariant (and hoistisoI to hoistautoI) to reflect its monomorphism.
The same for MonadInnerFunctor (-> MonadInnerMonoFunctor) and hoistI (-> hoistendoI).
I will soon add polymorphic variants that use the old names, but the monomorphic ones are still useful so I wanted to keep them around.
Implemented a consistent morpology for the MonadInner, MonadBase and MonadIO families of interfaces. This means we now use slightly different names to the analoguos interfaces in monad-control, but monad-control didn't even have a consistent morphology with itself, so this is better.
Added more links to the Glossary.