Make ExprTree's TInfer type param covariant