Further improvements to well-kinded types