add type variable