Types within OLYMPIC