Some refactoring of instance promotion.
Wibble to test output
Refactoring in Ord promotion.
Version bump.
Fix #55 through the use of class annotations.
Add annotations to PEq.
Clarify that datatypes with `Nat` and `Symbol` don't work.

This fixes #76.
Add link to #76 in README.
Travis should use HEAD th-desugar.