Remove old unused codes.
Rename internal functions.
Remove unused types.
Cleaning interface for QueryJoin Monad Context.
Remove unsafeFromJust and add flattenMaybe.
Integrated methods for zip projection and maybe types.
Update examples.