Incorporate branched type family instances.

- Promotion of functions with many clauses now uses branched instances
instead of a sequence of unbranched instances.

- Generation of :==: instances are now branched, as well.

- Version bump to 0.8.4.