Added tests for manadic laws, tuned class Maybe accordingly. Made it possible to extend Maybe class. Updated examples, tests.