Add document of class method.
Add AggregateProjectable interface.
Update document of class methods.
Add document of query building interfaces.
Add document of aggregating context monad transformer.
Update Monad definitions to use GeneralizedNewtypeDeriving.