Update library for ghc-7.6.3

Stuff in the last commit "patchwork" must be sorted out, because it consists of a series of steps that must be rewritten. Guidance required.