Re-order definitions. Remove duplicated implementation.
Add document of projection module.
Renamed (lift -> map).
Add document for Aggregation module.