Revert "When homogenizing kinds, don't emit a Repr. wanted!"

This reverts commit 2ac4059989db1b02bcfcb1fa29b3209a9c8f8ce4.

Preparing to merge in a beefing up of the Coercible solver, so
we don't want this commit.
Comments only