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