Amulet 0.5.0.0 "Death By A Thousand Lint Errors"

This boring release is just a bug hunt, actually.

Changes since last release:

• Fixed a bug where equality evidence with superclasses was being used without
  consideration for the superclasses; This allowed unsafe_coerce to be
  written. (45c6e4b)
• Fixed a solver bug where the type of the selected instance head was not being
  unified with the actual wanted constraint, leading to well-typed programs
  rejected by Core Lint (d6f68d8)
• The Quick Look algorithm considers applications to be simple terms, which
  leads to improved type inference in cases like
  (fun x -> x) :: (fun x -> x) :: Nil
  (80461c9)
• Built-in variables with quantified type variables now have their foralls
  marked Spec, so they can be visibly applied to type arguments.
  (f23910d)

You can get this release here or through the usual means.