Types within COBALM