Add more capabilities to typarams bounded by traits with super-builtin-kinds. Close #7083.
Add tests for super-builtin-kind capabilities (#7083)
Fixup style of test cases for #7083