Types within CARVER