Types within OPTIMA