Draft: Print ' from DataKinds only when it is required.

This is a draft of MR that introduces contextual ' printing (' is printed only when it is needed in the source code) for #20531 (closed).

The implementation is mostly complete, a lot of tests fail because of stderr changes.