THEff-0.1.3: changelog

THEff 0.1.3 (released 2017-01-22)
    * some redundant constraints eliminated
THEff 0.1.2 (released 2017-01-22)
    * ghc 8.x compatable