Fixes naming issue with eliminator parameters, and eliminators on empty
types
Add a field for parameter docstrings in the PClass constructor of PDecl'
Adapt expandParamsD to new parameter docs field in PClass
Handle extra field of PClass in IBC.hs
Remove superfluous 'getContext' in docClass
Update subclass display in 'subclasses' to use consistent parameter names
Added nested record access syntax

record { a->b->c } x is equivalent to c (b (a x))

It's longer, but symmetric wrt the update syntax. Also added a test.
Update CHANGELOG
Merge pull request #1165 from paulkoerbitz/fix/1154-populate-docstrings-of-typeclass-parameters

Fix/1154 populate docstrings of typeclass parameters
Merge pull request #1166 from paulkoerbitz/fix/1158-consistify-typeclass-parameter-names-in-doc

Fix/1158 consistify typeclass parameter names in doc
Merge pull request #1160 from ahmadsalim/bug/furthereliminatorfixes

Fixes naming issue with eliminator parameters, and eliminators on empty types
Add Uninhabited instances for so False

Fixes #1168
Merge pull request #1169 from david-christiansen/so-false

Add Uninhabited instances for so False
Give the pretty-printer access to info about infixes
javascript: removeIDs should remove nested identities
Respect precedence and associativity for infix ops in pprint

Fixes #1050.
Fix line breaks in display of :t at REPL
Merge pull request #1173 from raichoo/javascript

javascript: removeIDs should remove nested identities
Fix interactive editing and tests

The pretty-printer fix broke parens in interactive editing.
Allow the big startup banner to be disabled

This is done by adding `:set nobanner` to the init script.

Fixes #590.