added Eq typeclass for Maybe
Merge pull request #200 from raichoo/master

Maybe Eq Typeclass
Build Haddock and Hoogle files

Haddock will generate links to Hackage where appropriate.
Documentation comment additions
Tweak syntax rules to deal with consecutive non-terminals better
Merge pull request #203 from david-christiansen/haddock

Haddock added to Makefile; more docs
Merge pull request #202 from DanielWaterworth/master

Added curry and uncurry
Normalise before looking for coercions