Fix error case in #457
Define type instances without wrapper function

This requires sorting binding groups by their immediate dependencies
(those not wrapped in function bodies).  This is not perfect, as
those functions may be evaluated immediately, but in any generated
instance declarations they are not.  All test cases passing, though
certain types of recursive definitions may not work (can't yet think of
any that weren't already broken by #365).
Check for duplicate labels in intermediate types.
Improve declaration cycle error
Add failing Foldable testcase from #365
Initial work on #618.
Pass kind information through to externs file
First pass at #652
Simplify replaceAllTypeVars and handle some more edge cases
Merge pull request #653 from purescript/652

Simultaneously substitute type variables
Remove runtime-type-checks reference for psc-make
Tweak error message for nullary top level cases
Merge pull request #654 from purescript/649

Tweak error message for nullary top level cases
Fix #634
Merge pull request #648 from dylex/imminstance

Define type instances without wrapper function
Always include kinds in externs files
fix link to release doc
Remove Proxy example
Merge pull request #655 from purescript/634

Fix #634
Merge pull request #643 from purescript/457

Fix #457