abstract orderNum = {

cat
OrderNumber;

fun
first : OrderNumber;
second : OrderNumber;
third : OrderNumber;
fourth : OrderNumber;
fifth : OrderNumber;
sixth : OrderNumber;
seventh : OrderNumber;
eighth : OrderNumber;
ninth : OrderNumber;
tenth : OrderNumber;

--anOrder : OrderNumber;
}