This lets us get the more correct lowercase versions of type kinds in error messages. (These match what the user would type.)
James Shubin