We now have a top-level `tyConAppNeedsKindSig` function, which means
that we can delete lots of code in `Convert`.