unify/reify isinstance list