Added type variable specs