only normalize well-kinded types
no normalization for kind analysis