Types within STILL