Renamed.
Update document of function arguments.
Add module header of Projectable module.
Make internal Qualified type in Join Monad.
Update document for Qualified type in SubQuery module.
Now, I got modularized Join monad transformer.