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