Bugfixing
Change kick_out_eq to match statement of proof.
Fix warning
Remove IsCoercion
Zonk Coercions embedded in TcCoercions; they *might* have TcTyVars!
Allow multiple type family instances to match in reduceTyFamApp_maybe
Use reduceTyFamApp_maybe in TcInteract.matchFam