Add document abount aggregating monad transformer.
Add document of Join and Ordering monad transformer context.
Divide Context module Context and OrderingContext.