Types within KEMPSMITH