added algebraic data types
add more patterns to git ignore
removed .swp
haskell/type_constructors/Book.hs

add type constructor info