found bug: need to track ty vars for their kinds

kpoly.miniax has some examles that should raise kind error
but accepted in the current implementation because we do not
keep track of kinds of fresh type variables
added a state to TI to track kinds of fresh tyvars

Types are adjusted and plumbed through to make all things woring
as it was but not anythig new yet implemented