added catMaybes function

Also put `Data.MonoTraversable` as first exposed module, which is nicer when running `cabal repl`. Removed redundant import of `not`.