Fixed kind zonking to also zonk the kinds that annotate types, not just
free kind variables in the type.

This fixes expressions like the following

>> :t (id : some a. a -> a) -> id
forall (a : *). (a -> a) -> a -> a