Types within SMITH