eta-long forms by default when normalizing; adding kinds to every type-syntax node