kind inference: report a kind error for wrong-kinded type alias arguments

[alpaylan]

The snippet below previously produced an internal error (I believe the same one in #598):

type myeff :: X

alias property<e> = () -> e bool

fun check(prop : property<myeff>) : ()
  ()

Applying a type alias to an argument of the wrong kind (e.g.
alias property<e> = () -> e bool used as property<console> where
e :: E but console :: X, or issue #598's stream<a,div>) crashed
the compiler with an internal assertion (Type.TypeVar.subNew.KindMismatch)
instead of reporting an error, since resolveApp substituted alias
arguments without checking their kinds.

Check each parameter/argument pair: on a kind mismatch, report a
standard kind error (via kindError, now exported from Kind.Unify) and
substitute the parameter for itself to keep the expansion substitution
well-kinded.