TUR  {
       'z' ((e.1)     e.2) e.3 = e.1 e.2;
       s.q ((e.1) s.b e.2) e.3 (s.q s.b  s.c s.s s.r) e.4 =
                           <TUR <TUR1  s.c s.s s.r ((e.1) s.b e.2) >
                                       e.3 (s.q s.b  s.c s.s s.r) e.4 >;
     }

TUR1   {
       s.c '<' s.r ((e.1 s.a) s.b e.2) =  s.r ((e.1) s.a s.c e.2);
       s.c '>' s.r ((e.1    ) s.b e.2) =  s.r ((e.1 s.c)     e.2);
       }