Fix typechecker bug with type synonyms in type annotations
Default entry point to "Main" when using --run-main
Use --entry-point to change --run-main's module
Check Eff type of main when using --entry-point
Rework psc options for new --main and --module
Update docs
Merge pull request #192 from garyb/master

Update psc options to allow main module to be specified and multiple modules to be kept by DCE
Traverse top-down in replaceTypeClassDictionaries, to avoid traversing the wrong part of the AST, for an approx 30% performance improvement when using type classes.
Update and rename RELEASE.md to RELEASE-0.3.md
Create RELEASE-0.2.md
Create RELEASE-0.4.md
Bump version to 0.4.0
Update RELEASE-0.4.md
Update conf.py
Improve pretty printing for row types
Improve error message for row typecheck failures

Adds parens again, to avoid messages like `Cannot unify  with  | s2403`
Merge pull request #195 from garyb/master

Improve pretty printing for row types
Create RELEASE-0.5.md
Fix refEq in Prelude
Use parseFloat for Read Number instance, to make Read and Show instances work together.