Perm  {  (e1) sa e2 = <PermS sa e1 > <Perm (e1) e2> ;
         (e1)       = ;
      }

PermS {
        sa (sa sb) e2 = sb;
        sa (sc sb) e2 = <PermS sa e2>;
        sa            = sa;
      }