Comments only
Rename tc_kind to tyConKind
tc_roles -> tcRoles