concrete orderNumEng of orderNum = {

lincat
OrderNumber = {s : Str};

pattern
first = "first" ;
second = "second" ;
third = "third" ;
fourth = "fourth" ;
fifth = "fifth" ;
sixth = "sixth" ;
seventh = "seventh" ;
eighth = "eight" ;
ninth = "ninth" ; 
tenth = "tenth" ; 

}