Added set monad
Added tests for Option and Set monads