Coercible for impredicative types

using deferTcSForAllEq, just like for ~ types, during canonicalization