rascal>day = {<"mon", 1>, <"tue", 2>, <"wed",3>,
>>>>>>>       <"thu", 4>, <"fri", 5>, <"sat",6>, <"sun",7>};
rel[str, int]: {
  <"thu",4>,
  <"mon",1>,
  <"sat",6>,
  <"wed",3>,
  <"tue",2>,
  <"fri",5>,
  <"sun",7>
}