Add some more set notation

The new notation is in accordance with

  http://hackage.haskell.org/package/base-unicode-symbols
Add notation for boolean operations

The new notation is in accordance with

  http://hackage.haskell.org/package/base-unicode-symbols