extract unifyChild
Expr.TInst replaces TCon and TApp