Types within CARBOLITE