Types within CLARK