Types within ROACH