morph Uminus2While: Do ==> While {
  Exp[uminus](B) B()=>B ==> << 0 - <B> >>
}