Types within TIGERSTOP