Added glossary to documentation.
Renamed the MonadLift family of interfaces to MonadInner, and LiftState etc. to OuterState.

Also replaced all the apostrophes with I, so lift' becomes liftI, and so on.