Update for GHC8 and (partial) fix of assertion patterns checking#4

Open

yanok wants to merge 6 commits intoBekaValentine:masterfrom

Commits on May 15, 2017

Commits on May 30, 2017

Dependent: add example of (wrongly) proving equality for any pair of values of the same type
yanok
committed

Commits on Jun 2, 2017