added some haskell
haskell typechecker