Eval.hss

flatten-module
consider 'eval
ww-split [| wrap |] [| unwrap |]
{rhs-of 'work
   eta-expand 'e ; 0
   eta-expand 's ; 0
   eta-expand 'f ; 0
   unfold 'unwrap
   one-td (unfold 'f)
   bash
   {
     consider case ; 2 ; 0 ; abstract 'm
     consider case ; 2 ; 0 ; abstract 'n
   }
   any-bu (fold 'unwrap)
   any-bu (foreward (ww-fusion [| wrap |] [|unwrap|] [|work|]))
}
simplify
any-call (unfold 'wrap)