Amulet 0.7.0.0 "Who's That Pokémon?"

You can get this release here or through the usual means

Changes since last release:

• The Amulet exception library is now less brittle when the stack is
  unwound because of a Lua error.
  (2a22dd4)

• Associated type definitions in a class body can now refer to associated types
  defined previously in the same class. This also goes for type instances.
  (9fa3f20)

• Amulet supports proper dependent kinds and dependent pattern matching in type
  functions
  (52bceeb,
  c7088e9)

• Recursive let definitions require a rec keyword.
  (3b365b2)

• The REPL knows how to autocomplete names from scope when using the
  TAB key. Additionally, the vim integration sets omnifunc to
  use Amulet autocompletion.
  (2cce4a0,
  0e29d80)

• It is now possible to generate Lua modules to be required from other
  programs. (9e9ed88)

• ( && ) and ( || ) are lazy on their right-hand sides
  (bdf0045)

• Type errors will mention when type families/functions not being
  injective might be the cause of the error
  (70f18c1)

• The Amulet compiler can explain print long-form explanations of some
  error messages. Furthermore, it'll mention when these explanations are
  available.
  (a948da8,
  2e3269c,
  d37c8b9)

• Several bug fixes to the type checker.
  (#217, #218, a partial fix to #219, d4d7fa7)

• Added more bugs