[Constraint solver] Eliminate TypeMatchKind. NFC

It's no more than a subset of ConstraintKind with a bunch of
boilerplate to convert back and forth. Just use ConstraintKind.

Author: DougGregor