v0.7.7

Important fixes:

• Fix subtyping (automatic coercion for extension types and tope disjunction elimination) (see #207)

  1. Do not assume variance for the argument of function/type family application (fixes #206).
  2. Separately check tope families and extension types (and $\Pi$-types), since, for tope families, variance of the argument is different.
  3. Fix refl to check for equality, not subtyping.
  4. Fix inferAs to perform typecheck instead (where appropriate).

  Big thanks to @BennoLossin, @viol37, and @benediktahrens for making these fixes possible.

Minor fix:

• Add version bounds for successful Hackage upload (see 9aba39c)