Broken first superclasses checkin
Merge branch 'master' into superclasses

Conflicts:
	src/Language/PureScript/Sugar/TypeClasses.hs
Add superclass dictionaries
Changes to entails for superclass search
Qualifying superclass names, more work on instance search.
Do not search superclass implementations when looking for a superclass dictionary
More superclasses tests
Code comments
Fix example, do not generate __superclasses field if there are no superclasses.
Fix superclass instace search
Update Prelude
Fix failing tests
Fix issue with type variables in super class dictionary types. Simplify desugaring somewhat, add more examples
More tests, be explicit about missing type variable in applySubst.
Use <> for the semigroup operation
Inserted Apply into hierarchy.
Inserted Bind into hierarchy.
Fix optimizer issues after splitting up Monad.
More lenient overlap check
Fix a bug in dictTrace