Additional logic to construct type-correct IVectors within frame appendN