Types within KERN