When renaming a type, now looks for wildcards in bound variables'
kinds.

testcase: dependent/should_compile/T11241