Change project binary operators and add operator from Maybe into Maybe.
Update examples along with new binary operators..
Add check target.
Update names-th description.
Update haddock.
Update haddock.