Types within KBC